Second Order Logic and the Weak Exponential Hierarchies (bibtex)

by Georg Gottlob, Nicola Leone, Helmut Veith

Reference:

Second Order Logic and the Weak Exponential HierarchiesGeorg Gottlob, Nicola Leone, Helmut VeithMathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings (Jirí Wiedermann, Petr Hájek, eds.), pages 66–81, 1995, Springer.

Bibtex Entry:

@inproceedings{DBLP:conf/mfcs/GottlobLV95, author = {Georg Gottlob and Nicola Leone and Helmut Veith}, title = {Second Order Logic and the Weak Exponential Hierarchies}, year = {1995}, booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}, editor = {Jir\'{\i} Wiedermann and Petr H{\'a}jek}, pages = {66--81}, publisher = {Springer}, isbn = {3-540-60246-1} }

Powered by bibtexbrowser