research
∙
03/30/2022
Algebraic properties of the first-order part of a problem
In this paper we study the notion of first-order part of a computational...
research
∙
10/08/2020
Finding descending sequences through ill-founded linear orders
In this work we investigate the Weihrauch degree of the problem 𝖣𝖲 of fi...
research
∙
03/09/2020