@INPROCEEDINGS{BHK17,
  author = {Brattka, Vasco and H{\"o}lzl, Rupert and Kuyper, Rutger},
  title = {{M}onte {C}arlo Computability},
  booktitle = {34th Symposium on Theoretical Aspects of Computer Science (STACS
	2017)},
  year = {2017},
  editor = {Vollmer, Heribert and Vall{\'e}e, Brigitte},
  volume = {66},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages = {17:1--17:14},
  address = {Dagstuhl, Germany},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  doi = {10.4230/LIPIcs.STACS.2017.17},
  file = {BHK17.pdf:BHK17.pdf:PDF},
  isbn = {978-3-95977-028-6},
  issn = {1868-8969},
  keywords = {bib, cca, wei, team},
  url = {http://drops.dagstuhl.de/opus/volltexte/2017/7016}
}

{"_id":"Eput6qAyxtgqzkiwb","bibbaseid":"brattka-hlzl-kuyper-montecarlocomputability-2017","authorIDs":["5d78fd3ff08401db01000439"],"author_short":["Brattka, V.","Hölzl, R.","Kuyper, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Hölzl"],"firstnames":["Rupert"],"suffixes":[]},{"propositions":[],"lastnames":["Kuyper"],"firstnames":["Rutger"],"suffixes":[]}],"title":"Monte Carlo Computability","booktitle":"34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)","year":"2017","editor":[{"propositions":[],"lastnames":["Vollmer"],"firstnames":["Heribert"],"suffixes":[]},{"propositions":[],"lastnames":["Vallée"],"firstnames":["Brigitte"],"suffixes":[]}],"volume":"66","series":"Leibniz International Proceedings in Informatics (LIPIcs)","pages":"17:1–17:14","address":"Dagstuhl, Germany","publisher":"Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik","doi":"10.4230/LIPIcs.STACS.2017.17","file":"BHK17.pdf:BHK17.pdf:PDF","isbn":"978-3-95977-028-6","issn":"1868-8969","keywords":"bib, cca, wei, team","url":"http://drops.dagstuhl.de/opus/volltexte/2017/7016","bibtex":"@INPROCEEDINGS{BHK17,\r\n author = {Brattka, Vasco and H{\\\"o}lzl, Rupert and Kuyper, Rutger},\r\n title = {{M}onte {C}arlo Computability},\r\n booktitle = {34th Symposium on Theoretical Aspects of Computer Science (STACS\r\n\t2017)},\r\n year = {2017},\r\n editor = {Vollmer, Heribert and Vall{\\'e}e, Brigitte},\r\n volume = {66},\r\n series = {Leibniz International Proceedings in Informatics (LIPIcs)},\r\n pages = {17:1--17:14},\r\n address = {Dagstuhl, Germany},\r\n publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},\r\n doi = {10.4230/LIPIcs.STACS.2017.17},\r\n file = {BHK17.pdf:BHK17.pdf:PDF},\r\n isbn = {978-3-95977-028-6},\r\n issn = {1868-8969},\r\n keywords = {bib, cca, wei, team},\r\n url = {http://drops.dagstuhl.de/opus/volltexte/2017/7016}\r\n}\r\n\r\n","author_short":["Brattka, V.","Hölzl, R.","Kuyper, R."],"editor_short":["Vollmer, H.","Vallée, B."],"key":"BHK17","id":"BHK17","bibbaseid":"brattka-hlzl-kuyper-montecarlocomputability-2017","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2017/7016"},"keyword":["bib","cca","wei","team"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.395Z","downloads":0,"keywords":["bib","cca","wei","team"],"search_terms":["monte","carlo","computability","brattka","hölzl","kuyper"],"title":"Monte Carlo Computability","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}