Annals of Pure and Applied Logic 161 (3):416-426 (2010)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2009, 2010
DOI 10.1016/j.apal.2009.07.012
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,577
Through your library

References found in this work BETA

Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.
Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott - 1965 - In J. W. Addison (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 1104--329.
Decidability of Second-Order Theories and Automata on Infinite Trees.[author unknown] - 1972 - Journal of Symbolic Logic 37 (3):618-619.
Recursive Pseudo-Well-Orderings.[author unknown] - 1972 - Journal of Symbolic Logic 37 (1):197-198.

Add more references

Citations of this work BETA

Some Natural Decision Problems in Automatic Graphs.Dietrich Kuske & Markus Lohrey - 2010 - Journal of Symbolic Logic 75 (2):678-710.

Add more citations

Similar books and articles

Automata Presenting Structures: A Survey of the Finite String Case.Sasha Rubin - 2008 - Bulletin of Symbolic Logic 14 (2):169-209.
Automatic Structures of Bounded Degree Revisited.Dietrich Kuske & Markus Lohrey - 2011 - Journal of Symbolic Logic 76 (4):1352-1380.
A Hierarchy of Tree-Automatic Structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
The Cognitive Structure of Scientific Theories.Ronald N. Giere - 1994 - Philosophy of Science 61 (2):276-296.
Models and Modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.
Ranked Partial Structures.Timothy J. Carlson - 2003 - Journal of Symbolic Logic 68 (4):1109-1144.
Complexity of Model-Theoretic Notions.Russell W. Myers - 1980 - Notre Dame Journal of Formal Logic 21 (4):656-658.

Analytics

Added to PP index
2013-12-22

Total views
7 ( #1,075,114 of 2,533,586 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,586 )

How can I increase my downloads?

Downloads

My notes