@INPROCEEDINGS{Hoy14,
  author = {Hoyrup, Mathieu},
  title = {Irreversible computable functions},
  booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
	(STACS 2014)},
  year = {2014},
  editor = {Ernst W. Mayr and Natacha Portier},
  volume = {25},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages = {362--373},
  address = {Dagstuhl, Germany},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  annote = {Keywords: Computability theory, computable analysis, finite injury,
	generic set},
  doi = {10.4230/LIPIcs.STACS.2014.362},
  file = {Hoy14.pdf:Hoy14.pdf:PDF},
  isbn = {978-3-939897-65-1},
  issn = {1868-8969},
  keywords = {bib,cca},
  url = {http://drops.dagstuhl.de/opus/volltexte/2014/4471}
}

{"_id":"qDNPzTaiaLwHuXcYs","bibbaseid":"hoyrup-irreversiblecomputablefunctions-2014","authorIDs":[],"author_short":["Hoyrup, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hoyrup"],"firstnames":["Mathieu"],"suffixes":[]}],"title":"Irreversible computable functions","booktitle":"31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014)","year":"2014","editor":[{"firstnames":["Ernst","W."],"propositions":[],"lastnames":["Mayr"],"suffixes":[]},{"firstnames":["Natacha"],"propositions":[],"lastnames":["Portier"],"suffixes":[]}],"volume":"25","series":"Leibniz International Proceedings in Informatics (LIPIcs)","pages":"362–373","address":"Dagstuhl, Germany","publisher":"Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik","annote":"Keywords: Computability theory, computable analysis, finite injury, generic set","doi":"10.4230/LIPIcs.STACS.2014.362","file":"Hoy14.pdf:Hoy14.pdf:PDF","isbn":"978-3-939897-65-1","issn":"1868-8969","keywords":"bib,cca","url":"http://drops.dagstuhl.de/opus/volltexte/2014/4471","bibtex":"@INPROCEEDINGS{Hoy14,\r\n author = {Hoyrup, Mathieu},\r\n title = {Irreversible computable functions},\r\n booktitle = {31st International Symposium on Theoretical Aspects of Computer Science\r\n\t(STACS 2014)},\r\n year = {2014},\r\n editor = {Ernst W. Mayr and Natacha Portier},\r\n volume = {25},\r\n series = {Leibniz International Proceedings in Informatics (LIPIcs)},\r\n pages = {362--373},\r\n address = {Dagstuhl, Germany},\r\n publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},\r\n annote = {Keywords: Computability theory, computable analysis, finite injury,\r\n\tgeneric set},\r\n doi = {10.4230/LIPIcs.STACS.2014.362},\r\n file = {Hoy14.pdf:Hoy14.pdf:PDF},\r\n isbn = {978-3-939897-65-1},\r\n issn = {1868-8969},\r\n keywords = {bib,cca},\r\n url = {http://drops.dagstuhl.de/opus/volltexte/2014/4471}\r\n}\r\n\r\n","author_short":["Hoyrup, M."],"editor_short":["Mayr, E. W.","Portier, N."],"key":"Hoy14","id":"Hoy14","bibbaseid":"hoyrup-irreversiblecomputablefunctions-2014","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2014/4471"},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.757Z","downloads":0,"keywords":["bib","cca"],"search_terms":["irreversible","computable","functions","hoyrup"],"title":"Irreversible computable functions","year":2014,"dataSources":["t7rKiAbxugj4Agz8M"]}