A combinatorial approach to the theory of ω-automata

Logic, Methodology and Philosophy of Science.

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

Humanities, Philosophy, Epistemology +9

Weak Second‐Order Arithmetic and Finite Automata

J Büchi · Mathematical logic quarterly · 1960 · 819 citations

Computing, Computer Science, Mathematics +9

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 481 citations

Computing, Computer Science, Algorithms +7

The Monadic Theory of Order

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

Computing, Computer Science, Mathematics +8

Theories of automata on ω-tapes: A simplified approach

Yaacov Choueka · Journal of Computer and System Sciences · 1974 · 210 citations

Computing, Computer Science, Formal Methods +9