Universal Turing Machine. Xu, J., Zhang, X., Urban, C., & Joosten, S. J. C. Archive of Formal Proofs, 2019. Link Paper bibtex @article{journals/afp/XuZUJ19,
added-at = {2019-05-20T00:00:00.000+0200},
author = {Xu, Jian and Zhang, Xingyuan and Urban, Christian and Joosten, Sebastiaan J. C.},
biburl = {https://www.bibsonomy.org/bibtex/20349a46a8a55b7014c81631223f1e593/dblp},
ee = {https://www.isa-afp.org/entries/Universal_Turing_Machine.html},
interhash = {410592c5b5cb6658f8d32cf32d2582cd},
intrahash = {0349a46a8a55b7014c81631223f1e593},
journal = {Archive of Formal Proofs},
keywords = {dblp},
timestamp = {2019-05-21T11:36:25.000+0200},
title = {Universal Turing Machine.},
url = {http://dblp.uni-trier.de/db/journals/afp/afp2019.html#XuZUJ19},
volume = 2019,
year = 2019
}
Downloads: 0
{"_id":"q2rBhfWvybhWe7FeR","bibbaseid":"xu-zhang-urban-joosten-universalturingmachine-2019","authorIDs":[],"author_short":["Xu, J.","Zhang, X.","Urban, C.","Joosten, S. J. C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2019-05-20T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Xu"],"firstnames":["Jian"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Xingyuan"],"suffixes":[]},{"propositions":[],"lastnames":["Urban"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan","J.","C."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20349a46a8a55b7014c81631223f1e593/dblp","ee":"https://www.isa-afp.org/entries/Universal_Turing_Machine.html","interhash":"410592c5b5cb6658f8d32cf32d2582cd","intrahash":"0349a46a8a55b7014c81631223f1e593","journal":"Archive of Formal Proofs","keywords":"dblp","timestamp":"2019-05-21T11:36:25.000+0200","title":"Universal Turing Machine.","url":"http://dblp.uni-trier.de/db/journals/afp/afp2019.html#XuZUJ19","volume":"2019","year":"2019","bibtex":"@article{journals/afp/XuZUJ19,\n added-at = {2019-05-20T00:00:00.000+0200},\n author = {Xu, Jian and Zhang, Xingyuan and Urban, Christian and Joosten, Sebastiaan J. C.},\n biburl = {https://www.bibsonomy.org/bibtex/20349a46a8a55b7014c81631223f1e593/dblp},\n ee = {https://www.isa-afp.org/entries/Universal_Turing_Machine.html},\n interhash = {410592c5b5cb6658f8d32cf32d2582cd},\n intrahash = {0349a46a8a55b7014c81631223f1e593},\n journal = {Archive of Formal Proofs},\n keywords = {dblp},\n timestamp = {2019-05-21T11:36:25.000+0200},\n title = {Universal Turing Machine.},\n url = {http://dblp.uni-trier.de/db/journals/afp/afp2019.html#XuZUJ19},\n volume = 2019,\n year = 2019\n}\n\n","author_short":["Xu, J.","Zhang, X.","Urban, C.","Joosten, S. J. C."],"key":"journals/afp/XuZUJ19","id":"journals/afp/XuZUJ19","bibbaseid":"xu-zhang-urban-joosten-universalturingmachine-2019","role":"author","urls":{"Link":"https://www.isa-afp.org/entries/Universal_Turing_Machine.html","Paper":"http://dblp.uni-trier.de/db/journals/afp/afp2019.html#XuZUJ19"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Sebastiaan Joosten?items=1000","creationDate":"2019-07-02T11:53:02.252Z","downloads":0,"keywords":["dblp"],"search_terms":["universal","turing","machine","xu","zhang","urban","joosten"],"title":"Universal Turing Machine.","year":2019,"dataSources":["iRXfhnWYb7pRvaQMx"]}