Certain Directed Post Systems and Automata

Mathematical Logic Quarterly 13 (7‐12):151-174 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19670130706

Links

PhilArchive



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

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

Realization for causal nondeterministic input-output systems.Norman Y. Foo & Pavlos Peppas - 2001 - Studia Logica 67 (3):419-437.
A View on Human Goal-Directed Activity and the Construction of Artificial Intelligence.Pavel N. Prudkov - 2010 - Minds and Machines 20 (3):363-383.
The impact of artificial intelligence on leisure.P. R. Churcher - 1991 - AI and Society 5 (2):147-155.
Iterating semantic automata.Shane Steinert-Threlkeld & I. I. I. Thomas F. Icard - 2013 - Linguistics and Philosophy 36 (2):151-173.
Cognition and the power of continuous dynamical systems.Whit Schonbein - 2004 - Minds and Machines 15 (1):57-71.
Filozoficzne aspekty komputerowych badań symulacyjnych w naukach społecznych.Andrzej Kmiecik - 2013 - Filo-Sofija 13 (20).
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.
Cognitive cellular automata.Pete Mandik - 2008 - In Complex Biological Systems:. Icfai University Press.
Analogues of quantum complementarity in the theory of automata - a prolegomenon to the philosophy of quantum mechanics.T. Acton, S. Caffrey, S. Dunn, P. Vinson & K. Svozil - 1998 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 29 (1):61-80.
Modifiable automata self-modifying automata.J.-P. Moulin - 1992 - Acta Biotheoretica 40 (2-3):195-204.
Basic Properties of Quantum Automata.Stanley Gudder - 2000 - Foundations of Physics 30 (2):301-319.
Exploring Ancient Architectural Designs with Cellular Automata.Hokky Situngkir - unknown
Review: M. I. Kratko, Formal Post Calculi and Finite Automata. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):393-393.
Review: C. Y. Lee, Automata and Finite Automata. [REVIEW]J. C. Shepherdson - 1971 - Journal of Symbolic Logic 36 (3):534-535.

Analytics

Added to PP
2013-11-24

Downloads
15 (#948,046)

6 months
1 (#1,472,961)

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

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.

Add more references