Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/arithmetische-pr-dikate-ber-einem-bereich-endlicher-automaten-oK0ocG2kPw
References (7)
-
Th. Ottmann (1971)
Eine Theorie sequentieller Netzwerke -
V. Glushkov (1963)
Theorie der Abstrakten Automaten -
D. Rödding (1968)
Primitiv-Rekursive Funktionen Über Einem Bereich Endlicher MengenArchiv für mathematische Logik und Grundlagenforschung, 10
-
C. Shannon (1956)
A Universal Turing Machine with Two Internal States -
G. Asser (1960)
Rekursive WortfunktionenZeitschrift f. math. Logik u. Grundlagen der Mathematik, 6
-
F. Mahn (1969)
Primitiv-Rekursive Funktionen auf TermmengenArchiv für mathematische Logik und Grundlagenforschung, 12
-
W. Quine (1946)
Concatenation as a basis for arithmeticJournal of Symbolic Logic, 11
- Publisher
- Springer Journals
- Copyright
- Copyright © 1974 by Verlag W. Kohlhammer
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF02015376
- Publisher site
- See Article on Publisher Site
Abstract
Journal
Archive for Mathematical Logic – Springer Journals
Published: Jul 15, 2005