@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
}

{"_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"]}