%0 Conference Paper %1 conf/lpar/BaazF03 %A Baaz, Matthias %A Fermüller, Christian G. %B LPAR %D 2003 %E Vardi, Moshe Y. %E Voronkov, Andrei %I Springer %K dblp %P 107-121 %T A Translation Characterizing the Constructive Content of Classical Theories. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2003.html#BaazF03 %V 2850 %@ 3-540-20101-7

@inproceedings{conf/lpar/BaazF03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baaz, Matthias and Fermüller, Christian G.}, biburl = {https://www.bibsonomy.org/bibtex/2b65f6369a8d3e900600c318f3a2001b7/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2003}, editor = {Vardi, Moshe Y. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-39813-4_7}, interhash = {eca9be7822ce85398ef85d2ce7f7892d}, intrahash = {b65f6369a8d3e900600c318f3a2001b7}, isbn = {3-540-20101-7}, keywords = {dblp}, pages = {107-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:27.000+0200}, title = {A Translation Characterizing the Constructive Content of Classical Theories.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2003.html#BaazF03}, volume = 2850, year = 2003 }