%0 Conference Paper %1 conf/tphol/BerghoferR09 %A Berghofer, Stefan %A Reiter, Markus %B TPHOLs %D 2009 %E Berghofer, Stefan %E Nipkow, Tobias %E Urban, Christian %E Wenzel, Makarius %I Springer %K dblp %P 147-163 %T Formalizing the Logic-Automaton Connection. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#BerghoferR09 %V 5674 %@ 978-3-642-03358-2

@inproceedings{conf/tphol/BerghoferR09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Berghofer, Stefan and Reiter, Markus}, biburl = {https://www.bibsonomy.org/bibtex/26a6eb0bd5f1b4909b662ff7ada6c8a87/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2009}, editor = {Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius}, ee = {https://doi.org/10.1007/978-3-642-03359-9_12}, interhash = {14a9c6b64b3aac87b5c518af07cfe177}, intrahash = {6a6eb0bd5f1b4909b662ff7ada6c8a87}, isbn = {978-3-642-03358-2}, keywords = {dblp}, pages = {147-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {Formalizing the Logic-Automaton Connection.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#BerghoferR09}, volume = 5674, year = 2009 }