@INPROCEEDINGS{Zho06,
  author = {Zheng, Xizhong},
  title = {A Computability Theory of Real Numbers},
  booktitle = {Logical Approaches to Computational Barriers},
  year = {2006},
  editor = {Beckmann, A. and Berger, U. and L{\"o}we, B. and Tucker, J.V.},
  volume = {3988},
  series = LNCS,
  pages = {584--594},
  address = {Berlin},
  publisher = {Springer},
  note = {Second Conference on Computability in Europe, CiE 2006, Swansea,
	UK, June 30-July 5, 2006},
  keywords = {bib,cca},
  url = {http://dx.doi.org/10.1007/11780342_60}
}

{"_id":"JkqvjyAg5r42R6TAc","bibbaseid":"zheng-acomputabilitytheoryofrealnumbers-2006","authorIDs":[],"author_short":["Zheng, X."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Zheng"],"firstnames":["Xizhong"],"suffixes":[]}],"title":"A Computability Theory of Real Numbers","booktitle":"Logical Approaches to Computational Barriers","year":"2006","editor":[{"propositions":[],"lastnames":["Beckmann"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Berger"],"firstnames":["U."],"suffixes":[]},{"propositions":[],"lastnames":["Löwe"],"firstnames":["B."],"suffixes":[]},{"propositions":[],"lastnames":["Tucker"],"firstnames":["J.V."],"suffixes":[]}],"volume":"3988","pages":"584–594","address":"Berlin","publisher":"Springer","note":"Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006","keywords":"bib,cca","url":"http://dx.doi.org/10.1007/11780342_60","bibtex":"@INPROCEEDINGS{Zho06,\r\n author = {Zheng, Xizhong},\r\n title = {A Computability Theory of Real Numbers},\r\n booktitle = {Logical Approaches to Computational Barriers},\r\n year = {2006},\r\n editor = {Beckmann, A. and Berger, U. and L{\\\"o}we, B. and Tucker, J.V.},\r\n volume = {3988},\r\n series = LNCS,\r\n pages = {584--594},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {Second Conference on Computability in Europe, CiE 2006, Swansea,\r\n\tUK, June 30-July 5, 2006},\r\n keywords = {bib,cca},\r\n url = {http://dx.doi.org/10.1007/11780342_60}\r\n}\r\n\r\n","author_short":["Zheng, X."],"editor_short":["Beckmann, A.","Berger, U.","Löwe, B.","Tucker, J."],"key":"Zho06","id":"Zho06","bibbaseid":"zheng-acomputabilitytheoryofrealnumbers-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11780342_60"},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.175Z","downloads":0,"keywords":["bib","cca"],"search_terms":["computability","theory","real","numbers","zheng"],"title":"A Computability Theory of Real Numbers","year":2006,"dataSources":["t7rKiAbxugj4Agz8M"]}