%0 Conference Paper %1 conf/itp/XuZU13 %A Xu, Jian %A Zhang, Xingyuan %A Urban, Christian %B ITP %D 2013 %E Blazy, Sandrine %E Paulin-Mohring, Christine %E Pichardie, David %I Springer %K dblp %P 147-162 %T Mechanising Turing Machines and Computability Theory in Isabelle/HOL. %U http://dblp.uni-trier.de/db/conf/itp/itp2013.html#XuZU13 %V 7998 %@ 978-3-642-39633-5

@inproceedings{conf/itp/XuZU13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Xu, Jian and Zhang, Xingyuan and Urban, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2ab1a34261904d8617e1e06edf35eac31/dblp}, booktitle = {ITP}, crossref = {conf/itp/2013}, editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David}, ee = {https://doi.org/10.1007/978-3-642-39634-2_13}, interhash = {12a9d475e0a3c1c4c2610bd2ff78b04d}, intrahash = {ab1a34261904d8617e1e06edf35eac31}, isbn = {978-3-642-39633-5}, keywords = {dblp}, pages = {147-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:38:22.000+0200}, title = {Mechanising Turing Machines and Computability Theory in Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2013.html#XuZU13}, volume = 7998, year = 2013 }