@inproceedings{, author = {Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert}, title = {Las Vegas Computability and Algorithmic Randomness}, editor = {Mayr, Ernst W.; Ollinger, Nicolas}, booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, journal = {}, address = {Dagstuhl, Germany}, publisher = {Schloss Dagstuhl-Leibniz-Zentrum für Informatik}, edition = {}, year = {2015}, isbn = {978-3-939897-78-1}, volume = {30}, number = {}, pages = {130-142}, url = {http://drops.dagstuhl.de/opus/volltexte/2015/4909}, doi = {10.4230/LIPIcs.STACS.2015.130}, keywords = {}, abstract = {}, note = {}, institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research, Professur: Brattka, Vasco}, }