%0 Conference Paper %1 conf/mfcs/GottlobLV95 %A Gottlob, Georg %A Leone, Nicola %A Veith, Helmut %B MFCS %D 1995 %E Wiedermann, Jirí %E Hájek, Petr %I Springer %K dblp %P 66-81 %T Second Order Logic and the Weak Exponential Hierarchies. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs95.html#GottlobLV95 %V 969 %@ 3-540-60246-1

@inproceedings{conf/mfcs/GottlobLV95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Gottlob, Georg and Leone, Nicola and Veith, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/23f1a7d1d2435fefa0f9531802e4118db/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1995}, editor = {Wiedermann, Jirí and Hájek, Petr}, ee = {https://doi.org/10.1007/3-540-60246-1_113}, interhash = {f64a14a78195c74e2c323cd1e5a7443c}, intrahash = {3f1a7d1d2435fefa0f9531802e4118db}, isbn = {3-540-60246-1}, keywords = {dblp}, pages = {66-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:12:46.000+0200}, title = {Second Order Logic and the Weak Exponential Hierarchies.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs95.html#GottlobLV95}, volume = 969, year = 1995 }