Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. R. M. Robinson, “Review of R. Peter’s book, ‘Rekursive Funktionen’,” J. Symb. Log., 16, 280-282 (1951).
2. K. Ko, “On the continued fraction representation of computable real numbers,” Theor. Comput. Sci., 47, 299-313 (1986).
3. A. M. Turing, “On computable numbers, with an application to the Entscheidungsproblem. A correction,” Proc. London Math. Soc., II. Ser., 43, 544-546 (1937).
4. K. Weihrauch and Ch. Kreitz, “Representations of the real numbers and of the open subsets of the set of real numbers,” Ann. Pure Appl. Log., 35, 247-260 (1987).
5. K. Weihrauch, “Type 2 recursion theory,” Theor. Comput. Sci., 38, 17-33 (1985).