Multi-valued Functions in Computability Theory
From MaRDI portal
Publication:2904453
DOI10.1007/978-3-642-30870-3_57zbMath1358.03056OpenAlexW88774094MaRDI QIDQ2904453
Publication date: 14 August 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa37384
Related Items (2)
Many-one reductions and the category of multivalued functions ⋮ Quantitative continuity and Computable Analysis in Coq
This page was built for publication: Multi-valued Functions in Computability Theory