%0 Conference Paper %1 conf/itp/MyreenD11 %A Myreen, Magnus O. %A Davis, Jared %B ITP %D 2011 %E van Eekelen, Marko C. J. D. %E Geuvers, Herman %E Schmaltz, Julien %E Wiedijk, Freek %I Springer %K dblp %P 265-280 %T A Verified Runtime for a Verified Theorem Prover. %U http://dblp.uni-trier.de/db/conf/itp/itp2011.html#MyreenD11 %V 6898 %@ 978-3-642-22862-9

@inproceedings{conf/itp/MyreenD11, added-at = {2017-05-21T00:00:00.000+0200}, author = {Myreen, Magnus O. and Davis, Jared}, biburl = {https://www.bibsonomy.org/bibtex/257734659cee9368562a918a128a52443/dblp}, booktitle = {ITP}, crossref = {conf/itp/2011}, editor = {van Eekelen, Marko C. J. D. and Geuvers, Herman and Schmaltz, Julien and Wiedijk, Freek}, ee = {https://doi.org/10.1007/978-3-642-22863-6_20}, interhash = {b8fae8563904614f1c095a23ca564511}, intrahash = {57734659cee9368562a918a128a52443}, isbn = {978-3-642-22862-9}, keywords = {dblp}, pages = {265-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:16.000+0200}, title = {A Verified Runtime for a Verified Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2011.html#MyreenD11}, volume = 6898, year = 2011 }