@INPROCEEDINGS{BHMN12,
  author = {Bienvenu, Laurent and H{\"o}lzl, Rupert and Miller, Joseph S. and
	Nies, Andr{\'e}},
  title = {The {D}enjoy alternative for computable functions},
  booktitle = {29th {I}nternational {S}ymposium on {T}heoretical {A}spects of {C}omputer
	{S}cience},
  year = {2012},
  volume = {14},
  series = {LIPIcs. Leibniz Int. Proc. Inform.},
  pages = {543--554},
  publisher = {Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern},
  keywords = {bib,cca},
  mrclass = {03D32 (03D78)},
  mrnumber = {2909344},
  owner = {Vasco},
  timestamp = {2013.12.01}
}

{"_id":"qskLibSypoXjuygm6","bibbaseid":"bienvenu-hlzl-miller-nies-thedenjoyalternativeforcomputablefunctions-2012","authorIDs":[],"author_short":["Bienvenu, L.","Hölzl, R.","Miller, J. S.","Nies, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bienvenu"],"firstnames":["Laurent"],"suffixes":[]},{"propositions":[],"lastnames":["Hölzl"],"firstnames":["Rupert"],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Joseph","S."],"suffixes":[]},{"propositions":[],"lastnames":["Nies"],"firstnames":["André"],"suffixes":[]}],"title":"The Denjoy alternative for computable functions","booktitle":"29th International Symposium on Theoretical Aspects of Computer Science","year":"2012","volume":"14","series":"LIPIcs. Leibniz Int. Proc. Inform.","pages":"543–554","publisher":"Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern","keywords":"bib,cca","mrclass":"03D32 (03D78)","mrnumber":"2909344","owner":"Vasco","timestamp":"2013.12.01","bibtex":"@INPROCEEDINGS{BHMN12,\r\n author = {Bienvenu, Laurent and H{\\\"o}lzl, Rupert and Miller, Joseph S. and\r\n\tNies, Andr{\\'e}},\r\n title = {The {D}enjoy alternative for computable functions},\r\n booktitle = {29th {I}nternational {S}ymposium on {T}heoretical {A}spects of {C}omputer\r\n\t{S}cience},\r\n year = {2012},\r\n volume = {14},\r\n series = {LIPIcs. Leibniz Int. Proc. Inform.},\r\n pages = {543--554},\r\n publisher = {Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern},\r\n keywords = {bib,cca},\r\n mrclass = {03D32 (03D78)},\r\n mrnumber = {2909344},\r\n owner = {Vasco},\r\n timestamp = {2013.12.01}\r\n}\r\n\r\n","author_short":["Bienvenu, L.","Hölzl, R.","Miller, J. S.","Nies, A."],"key":"BHMN12","id":"BHMN12","bibbaseid":"bienvenu-hlzl-miller-nies-thedenjoyalternativeforcomputablefunctions-2012","role":"author","urls":{},"keyword":["bib","cca"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.398Z","downloads":0,"keywords":["bib","cca"],"search_terms":["denjoy","alternative","computable","functions","bienvenu","hölzl","miller","nies"],"title":"The Denjoy alternative for computable functions","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}