Application of model theoretic games to discrete linear orders and finite automata
- 1 April 1977
- journal article
- Published by Elsevier in Information and Control
- Vol. 33 (4) , 281-303
- https://doi.org/10.1016/s0019-9958(77)90443-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Monadic generalized spectraMathematical Logic Quarterly, 1975
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- A Note on Star-Free EventsJournal of the ACM, 1969
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959