2 citations · 9 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024★ 1 cited
The equational theory of the Weihrauch lattice with multiplication
Eike Neumann, Arno Pauly, Cécilia Pradic
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations …
cs.LO2023★ 2 cited
On the Weihrauch degree of the additive Ramsey theorem
Arno Pauly, Cécilia Pradic, Giovanni Solda
We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers.…