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