@INPROCEEDINGS{BGH15,
  author = {Brattka, Vasco and Gherardi, Guido and H{\"o}lzl, Rupert},
  title = {Las {V}egas Computability and Algorithmic Randomness},
  booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science
	({STACS} 2015)},
  year = {2015},
  editor = {Mayr, Ernst W. and Ollinger, Nicolas},
  volume = {30},
  series = {Leibniz International Proceedings in Informatics ({LIPI}cs)},
  pages = {130--142},
  address = {Dagstuhl, Germany},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/LIPIcs.STACS.2015.130},
  file = {BGH15.pdf:BGH15.pdf:PDF},
  isbn = {978-3-939897-78-1},
  issn = {1868-8969},
  keywords = {bib,cca,team,wei},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/4909},
  urn = {urn:nbn:de:0030-drops-49093}
}

{"_id":"vLCiSquy3sNHnmhhX","bibbaseid":"brattka-gherardi-hlzl-lasvegascomputabilityandalgorithmicrandomness-2015","authorIDs":["5d78fd3ff08401db01000439"],"author_short":["Brattka, V.","Gherardi, G.","Hölzl, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Gherardi"],"firstnames":["Guido"],"suffixes":[]},{"propositions":[],"lastnames":["Hölzl"],"firstnames":["Rupert"],"suffixes":[]}],"title":"Las Vegas Computability and Algorithmic Randomness","booktitle":"32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)","year":"2015","editor":[{"propositions":[],"lastnames":["Mayr"],"firstnames":["Ernst","W."],"suffixes":[]},{"propositions":[],"lastnames":["Ollinger"],"firstnames":["Nicolas"],"suffixes":[]}],"volume":"30","series":"Leibniz International Proceedings in Informatics (LIPIcs)","pages":"130–142","address":"Dagstuhl, Germany","publisher":"Schloss Dagstuhl–Leibniz-Zentrum für Informatik","doi":"10.4230/LIPIcs.STACS.2015.130","file":"BGH15.pdf:BGH15.pdf:PDF","isbn":"978-3-939897-78-1","issn":"1868-8969","keywords":"bib,cca,team,wei","url":"http://drops.dagstuhl.de/opus/volltexte/2015/4909","urn":"urn:nbn:de:0030-drops-49093","bibtex":"@INPROCEEDINGS{BGH15,\r\n author = {Brattka, Vasco and Gherardi, Guido and H{\\\"o}lzl, Rupert},\r\n title = {Las {V}egas Computability and Algorithmic Randomness},\r\n booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science\r\n\t({STACS} 2015)},\r\n year = {2015},\r\n editor = {Mayr, Ernst W. and Ollinger, Nicolas},\r\n volume = {30},\r\n series = {Leibniz International Proceedings in Informatics ({LIPI}cs)},\r\n pages = {130--142},\r\n address = {Dagstuhl, Germany},\r\n publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\\\"u}r Informatik},\r\n doi = {10.4230/LIPIcs.STACS.2015.130},\r\n file = {BGH15.pdf:BGH15.pdf:PDF},\r\n isbn = {978-3-939897-78-1},\r\n issn = {1868-8969},\r\n keywords = {bib,cca,team,wei},\r\n url = {http://drops.dagstuhl.de/opus/volltexte/2015/4909},\r\n urn = {urn:nbn:de:0030-drops-49093}\r\n}\r\n\r\n","author_short":["Brattka, V.","Gherardi, G.","Hölzl, R."],"editor_short":["Mayr, E. W.","Ollinger, N."],"key":"BGH15","id":"BGH15","bibbaseid":"brattka-gherardi-hlzl-lasvegascomputabilityandalgorithmicrandomness-2015","role":"author","urls":{"Paper":"http://drops.dagstuhl.de/opus/volltexte/2015/4909"},"keyword":["bib","cca","team","wei"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.360Z","downloads":0,"keywords":["bib","cca","team","wei"],"search_terms":["las","vegas","computability","algorithmic","randomness","brattka","gherardi","hölzl"],"title":"Las Vegas Computability and Algorithmic Randomness","year":2015,"dataSources":["t7rKiAbxugj4Agz8M"]}