C.Y. Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 , S. 384–399. - Seiiti Huzino und Mariko Yoneyama. On a proof of Schepherdson's theorem. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 16 , S. 88–93 [Book Review]

Journal of Symbolic Logic 33 (4):628 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1969

DOI

10.2307/2271419

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Günter Asser. Rekursive Wortfunktionen. Ebd., Bd. 6 , S. 258–278.H. Hermes - 1964 - Journal of Symbolic Logic 29 (4):199-200.
Review: Seiiti Huzino, Simulatability of Finite Automata by Schepherdson and Sturgis' Machines; Seiiti Huzino, On the Simulation of Real-Time Turing Machines by a Modified Schepherdson-Sturgis' Machine. [REVIEW]Gunter Asser - 1968 - Journal of Symbolic Logic 33 (4):628-629.
Asser Günter. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 , S. 30–68.Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (1):39-40.
J. C. Shepherdson und H. E. Sturgis. Computability of recursive functions. Journal of the Association for Computing Machinery, Bd. 10 , S. 217–255. [REVIEW]Günter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
Asser Günter. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 , S. 250–264. [REVIEW]Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (1):39-39.
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
Categorizing Automata by W-machine Programs.C. Y. Lee, Seiiti Huzino & Mariko Yoneyama - 1968 - Journal of Symbolic Logic 33 (4):628-628.
Sampei Yoemon. Some remarks concerning identity. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 , S. 109–112. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (4):402-402.
Becker O.. Das formale System der ontologischen Modalitäten, Blätter für deutsche Philosophie, Bd. 16 , S. 387–422.Becker O.. Ein “natürliches” formales System der logisch-ontologischen Modalitäten. Ebd., Bd. 18 , S. 82–93. [REVIEW]Heinrich Scholz - 1949 - Journal of Symbolic Logic 14 (2):140-141.
Łoś J., Mostowski A., and Rasiowa H.. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au travail “A proof of Herbrand theorem.” Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 , S. 129–134. [REVIEW]Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169.

Analytics

Added to PP
2013-11-03

Downloads
25 (#620,189)

6 months
13 (#277,486)

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