%0 Conference Paper %1 conf/cade/BenzmullerRSS08 %A Benzmüller, Christoph %A Rabe, Florian %A Schürmann, Carsten %A Sutcliffe, Geoff %B PAAR/ESHOL %D 2008 %E Konev, Boris %E Schmidt, Renate A. %E Schulz, Stephan %I CEUR-WS.org %K dblp %T Evaluation of Systems for Higher-order Logic (ESHOL). %U http://dblp.uni-trier.de/db/conf/cade/paar2008.html#BenzmullerRSS08 %V 373

@inproceedings{conf/cade/BenzmullerRSS08, added-at = {2019-05-28T00:00:00.000+0200}, author = {Benzmüller, Christoph and Rabe, Florian and Schürmann, Carsten and Sutcliffe, Geoff}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ea6506c8a4063e99b87a13b5484b21ef/dblp}, booktitle = {PAAR/ESHOL}, crossref = {conf/cade/2008paar}, editor = {Konev, Boris and Schmidt, Renate A. and Schulz, Stephan}, ee = {http://ceur-ws.org/Vol-373/invited-4.pdf}, interhash = {07c4800f26164a5b4fddbadf7ab83757}, intrahash = {ea6506c8a4063e99b87a13b5484b21ef}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T15:38:26.000+0200}, title = {Evaluation of Systems for Higher-order Logic (ESHOL).}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2008.html#BenzmullerRSS08}, volume = 373, year = 2008 }