Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert: Las Vegas Computability and Algorithmic Randomness, Dagstuhl, Germany, Schloss Dagstuhl-Leibniz-Zentrum für Informatik. In: 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), 2015. - p. 130-142Konferenzbeitrag / Conference Paper