Decision problems for multiple successor arithmetics

Journal of Symbolic Logic 31 (2):182-190 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269809

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

J. W. Thatcher and J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical systems theory, vol. 2 , pp. 57–81. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-620.
Decision Problems of Finite Automata Design and Related Arithmetics.C. C. Elgot - 1969 - Journal of Symbolic Logic 34 (3):509-510.
Elgot C. C.. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 , pp. 21–51. [REVIEW]Robert McNaughton - 1969 - Journal of Symbolic Logic 34 (3):509-510.
Richard M. Karp. Reducibility among combinatorial problems. Complexity of computer computations, Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Center, Yorktown Heights, New York, edited by Raymond E. Miller and James W. Thatcher, Plenum Press, New York and London 1972, pp. 85–103. [REVIEW]Ronald V. Book - 1975 - Journal of Symbolic Logic 40 (4):618-619.

Analytics

Added to PP
2009-01-28

Downloads
76 (#275,797)

6 months
15 (#206,160)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - Notre Dame Journal of Formal Logic 50 (1):61-85.
Quantifier-free induction for lists.Stefan Hetzl & Jannik Vierling - 2024 - Archive for Mathematical Logic 63 (7):813-835.

Add more citations

References found in this work

Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.

Add more references