Publication:4531981
From MaRDI portal
zbMath0985.03055MaRDI QIDQ4531981
Publication date: 27 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2064/20640069
03F60: Constructive and recursive analysis
03D45: Theory of numerations, effectively presented structures
Related Items
Notes on computable analysis, A sequentially computable function that is not effectively continuous at any point, A Banach-Mazur computable but not Markov computable function on the computable real numbers