101 citations · 688 across the 27 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Computability of Initial Value Problems
Vasco Brattka, Hendrik Smischliaew
We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solvin…
cs.LO2016★ 42 cited
On the algebraic structure of Weihrauch degrees
Vasco Brattka, Arno Pauly
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distribu…
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,…