DOI10.3233/COM-180207zbMath1455.03057arXiv1805.12026OpenAlexW2807013901MaRDI QIDQ5211067
Alberto Marcone, Arno Pauly, Guido Gherardi
Publication date: 17 January 2020 Published in: Computability (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1805.12026
zbMATH Keywords
projection operatorscomputable analysisWeihrauch degrees
Mathematics Subject Classification ID
Constructive and recursive analysis (03F60) Computation over the reals, computable analysis (03D78)