@INPROCEEDINGS{Hou06,
  author = {Hou, Tie},
  title = {Coinductive Proofs for Basic Real Computation},
  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 = {221--230},
  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_24}
}

{"_id":"4ELKRJiJr5zygMSJA","bibbaseid":"hou-coinductiveproofsforbasicrealcomputation-2006","authorIDs":[],"author_short":["Hou, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hou"],"firstnames":["Tie"],"suffixes":[]}],"title":"Coinductive Proofs for Basic Real Computation","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":"221–230","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_24","bibtex":"@INPROCEEDINGS{Hou06,\r\n author = {Hou, Tie},\r\n title = {Coinductive Proofs for Basic Real Computation},\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 = {221--230},\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_24}\r\n}\r\n\r\n","author_short":["Hou, T."],"editor_short":["Beckmann, A.","Berger, U.","Löwe, B.","Tucker, J."],"key":"Hou06","id":"Hou06","bibbaseid":"hou-coinductiveproofsforbasicrealcomputation-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11780342_24"},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.755Z","downloads":0,"keywords":["bib","cca"],"search_terms":["coinductive","proofs","basic","real","computation","hou"],"title":"Coinductive Proofs for Basic Real Computation","year":2006,"dataSources":["t7rKiAbxugj4Agz8M"]}