Second Order Logic and the Weak Exponential Hierarchies

Détails bibliographiques
Auteurs principaux: Gottlob, G, Leone, N, Veith, H
Format: Conference item
Publié: Springer 1995