Star-free regular sets of ω-sequences

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

Application of model theoretic games to discrete linear orders and finite automata

Richard E. Ladner · Information and Control · 1977 · 100 citations

Computing, Computer Science, Mathematics +12