Leaf management
From MaRDI portal
Publication:5131654
DOI10.3233/COM-180243zbMath1485.03242arXiv1812.09762OpenAlexW2906355379MaRDI QIDQ5131654
Publication date: 9 November 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.09762
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items (3)
Reverse mathematics and Weihrauch analysis motivated by finite complexity theory ⋮ Algebraic properties of the first-order part of a problem ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
This page was built for publication: Leaf management
