Second Order Logic and the Weak Exponential Hierarchies

Bibliografske podrobnosti
Main Authors: Gottlob, G, Leone, N, Veith, H
Format: Conference item
Izdano: Springer 1995