Las Vegas Computability and Algorithmic Randomness

Vasco Brattka, Guido Gherardi, Rupert Hölzl. Las Vegas Computability and Algorithmic Randomness. In Ernst W. Mayr, Nicolas Ollinger, editors, 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany. Volume 30 of LIPIcs, pages 130-142, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Vasco Brattka

This author has not been identified. Look up 'Vasco Brattka' in Google

Guido Gherardi

This author has not been identified. Look up 'Guido Gherardi' in Google

Rupert Hölzl

This author has not been identified. Look up 'Rupert Hölzl' in Google