Second Order Logic and the Weak Exponential Hierarchies
Georg Gottlob‚ Nicola Leone and Helmut Veith
Book Title
Mathematical Foundations of Computer Science 1995‚ 20th International Symposium‚ MFCS'95‚ Prague‚ Czech Republic‚ August 28 − September 1‚ 1995‚ Proceedings
Editor
Jirí Wiedermann and Petr Hájek
ISBN
3−540−60246−1
Pages
66−81
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
969
Year
1995