Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem [Book Review]

Journal of Symbolic Logic 40 (4):623-623 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
Review: Michael O. Rabin, Weakly Definable Relations and Special Automata. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
Review: M. P. Schutzenberger, On the Definition of a Family of Automata; M. P. Schutzenberger, Finite Counting Automata; M. P. Schutzenberger, Certain Elementary Families of Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):296-297.
Review: M. P. Schutzenberger, On Context-Free Languages and Push-Down Automata. [REVIEW]Michael O. Rabin - 1969 - Journal of Symbolic Logic 34 (2):297-298.
Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
On stability and solvability (or, when does a neural network solve a problem?).Stan Franklin & Max Garzon - 1992 - Minds and Machines 2 (1):71-83.
Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-standard Models and Independence of the Induction Axiom. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
Review: J. W. Thatcher, J. B. Wright, Generalized Finite Automata Theory with an Application to a Decision Problem of Second-order Logic. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-620.
Review: J. L. Britton, The Word Problem for Groups; John L. Britton, The Word Problem. [REVIEW]Michael O. Rabin - 1964 - Journal of Symbolic Logic 29 (4):205-206.
Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
Counting systems and the First Hilbert problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.
Kripke on functionalism and automata.Edward P. Stabler - 1987 - Synthese 70 (January):1-22.
On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.

Analytics

Added to PP
2013-11-22

Downloads
13 (#1,034,116)

6 months
2 (#1,192,898)

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