%0 Conference Paper %1 conf/wadt/BenzmullerP14 %A Benzmüller, Christoph %A Paleo, Bruno Woltzenlogel %B WADT %D 2014 %E Codescu, Mihai %E Diaconescu, Razvan %E Tutu, Ionut %I Springer %K %P 3-6 %T On Logic Embeddings and Gödel's God. %U http://dblp.uni-trier.de/db/conf/wadt/wadt2014.html#BenzmullerP14 %V 9463 %@ 978-3-319-28113-1

@inproceedings{conf/wadt/BenzmullerP14, added-at = {2023-12-12T21:41:41.000+0100}, author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel}, biburl = {https://www.bibsonomy.org/bibtex/2cc6707e1d8b07560880f07906ffe76e4/admin}, booktitle = {WADT}, crossref = {conf/wadt/2014}, editor = {Codescu, Mihai and Diaconescu, Razvan and Tutu, Ionut}, ee = {https://doi.org/10.1007/978-3-319-28114-8_1}, interhash = {41ec732f26d5f8ba33a7182dfd8ed38f}, intrahash = {cc6707e1d8b07560880f07906ffe76e4}, isbn = {978-3-319-28113-1}, keywords = {}, pages = {3-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:41:41.000+0100}, title = {On Logic Embeddings and Gödel's God.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2014.html#BenzmullerP14}, volume = 9463, year = 2014 }