Second Order Logic and the Weak Exponential Hierarchies

Bibliografiska uppgifter
Huvudupphovsmän: Gottlob, G, Leone, N, Veith, H
Materialtyp: Conference item
Publicerad: Springer 1995