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
Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45)
Related Items
A sequentially computable function that is not effectively continuous at any point, Notes on computable analysis, A Banach-Mazur computable but not Markov computable function on the computable real numbers