Author:
Berger Josef,Schuster Peter
Reference21 articles.
1. Berger, J., Constructive equivalents of the uniform continuity theorem. J. UCS 11, 1878–1883, 2005
2. Berger, J., and P. Schuster, Classifying Dini’s theorem. Notre Dame J. Formal Logic 47, 253–262, 2006
3. Bishop, E., Foundations of Constructive Analysis. McGraw–Hill, New York, 1967
4. Bishop, E., and D. Bridges, Constructive Analysis. Springer, Berlin etc., 1985
5. Bridges, D.S., Dini’s theorem: a constructive case study. In: C.S. Calude et al., eds., Combinatorics, Computability and Logic. 3rd International Conference DMTCS01, Constanţa, Romania, 2001. Proceedings. Springer, London, 69–80, 2001
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献