101 citations · 491 across the 53 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 27 cited
Computation with Advice
Vasco Brattka, Arno Pauly
Computation with advice is suggested as generalization of both computation with discrete advice and Type-2 Nondeterminism. Several embodiments of the generic concept are discussed,…
math.LO2010★ 101 cited
Closed Choice and a Uniform Low Basis Theorem
Vasco Brattka, Matthew de Brecht, Arno Pauly
We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed c…