Computing LOGCFL Certificates

Bibliografiske detaljer
Main Authors: Gottlob, G, Leone, N, Scarcello, F
Format: Conference item
Udgivet: Springer 1999