Shih-Hua Hu. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 843–875. Reprinted in Chinese mathematics, vol. 1 , pp. 64–96.Shih-Hua Hu and Chung-Wan Loh. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 876–888. Reprinted ibid., pp. 97–109.Shih-Hua Hu. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 889–896. Reprinted ibid., pp. 110–117 [Book Review]

Journal of Symbolic Logic 37 (3):612-612 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272775

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung . Acta mathematica Sinica, vol. 7 , pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 , p. 2. See the review of the English translation of this paper, XXV 183. - M. C. Badillo Barallat. Esquemas representativos de sistemas regidos por una lógica polivalente. Spanish, with English summary. Revista de cálculo automático y cibernética, vol. 4 no. 9 , pp. 54–62. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Review: V. K. Detlovs, The Equivalence of Normal Algorithms and Recursive Functions. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):362-362.
Review: V. K. Detlovs, Normal Algorithms and Recursive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (4):408-408.
Review: M. A. Aizerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata. [REVIEW]Joseph S. Ullian - 1972 - Journal of Symbolic Logic 37 (2):410-411.
Recursive functionals.Luis E. Sanchis - 1992 - New York: North-Holland.
Handbook of recursive mathematics.IUrii Leonidovich Ershov (ed.) - 1998 - New York: Elsevier.
Jankov V. A.. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206 by Yablonsky A.. Soviet mathematics, vol. 9 no. 4 , pp. 806–807.Jankov V. A.. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206. Mathematics of the USSR—Izvestija , vol. 2 no. 5 , pp. 997–1004. [REVIEW]Alfred Horn - 1972 - Journal of Symbolic Logic 37 (1):186-186.
Markov A. A.. On the representation of recursive functions. English translation of XV 66 . American Mathematical Society, translation number 54. Lithoprinted. New York 1951, 13 pp. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):72-73.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.
Review: A. I. Mal'cev, Algorithms and Recursive Functions. [REVIEW]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):290-290.
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
On the finiteness of the recursive chromatic number.William I. Gasarch & Andrew C. Y. Lee - 1998 - Annals of Pure and Applied Logic 93 (1-3):73-81.

Analytics

Added to PP
2013-11-02

Downloads
13 (#1,006,512)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references