Decision problems forω-automata
- 1 December 1969
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 3 (4), 376-384
- https://doi.org/10.1007/bf01691063
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Definability in the monadic second-order theory of successorThe Journal of Symbolic Logic, 1969
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969
- Structure of undecidable problems in automata theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1968
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966