Weak reduction principle and computable metric spaces
From MaRDI portal
Publication:1670746
DOI10.1007/978-3-319-94418-0_24OpenAlexW2811297303MaRDI QIDQ1670746
Margarita Korovina, Oleg V. Kudinov
Publication date: 6 September 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94418-0_24
Metric spaces, metrizability (54E35) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)
This page was built for publication: Weak reduction principle and computable metric spaces