On infinite transition graphs having a decidable monadic theory

Logic, Methodology and Philosophy of Science.

Max Black, Ernest Nagel, Patrick Suppes et al. · The Philosophical Review · 1963 · 2K citations

Humanities, Philosophy, Epistemology +9

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +13

Automata on infinite objects

Wolfgang Thomas · 1988 · 432 citations

Computing, Computer Science, Mathematics +15

Decidability of second-order theories and automata on infinite trees

Michael O. Rabin · Bulletin of the American Mathematical Society · 1968 · 357 citations · Full text

Computing, Computer Science, Mathematics +13

The Monadic Theory of Order

Saharon Shelah · Annals of Mathematics · 1975 · 323 citations · Full text

Computing, Computer Science, Mathematics +8