A combinatorial approach to the theory of ω-automata
- 31 March 1981
- journal article
- Published by Elsevier in Information and Control
- Vol. 48 (3) , 261-283
- https://doi.org/10.1016/s0019-9958(81)90663-x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the bounded monadic theory of well-ordered structuresThe Journal of Symbolic Logic, 1980
- Star-free regular sets of ω-sequencesInformation and Control, 1979
- The theory of successor with an extra predicateMathematische Annalen, 1978
- Application of model theoretic games to discrete linear orders and finite automataInformation and Control, 1977
- The Monadic Theory of OrderAnnals of Mathematics, 1975
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960