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
. - S. 130-142
Konferenzbeitrag / Conference Paper