100 citations · 328 across the 12 of their papers we have counts for
1 paper · 1 filter
Vasco Brattka, Guido Gherardi, Rupert Hölzl
We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-value…