Characterization of ω-regular languages by first-order formulas
- 31 December 1983
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 28 (3) , 315-327
- https://doi.org/10.1016/0304-3975(83)90027-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A note on ω-regular languagesTheoretical Computer Science, 1983
- Automata on Infinite Objects and Church’s ProblemCBMS Regional Conference Series in Mathematics, 1972
- Decision problems forω-automataTheory of Computing Systems, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966