Thomas, Wolfgang Star-free regular sets of \(\omega\)-sequences. (English) Zbl 0411.03031 Inf. Control 42, 148-156 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 39 Documents MSC: 03D05 Automata and formal grammars in connection with logical questions 68Q45 Formal languages and automata 03B25 Decidability of theories and sets of sentences 03B10 Classical first-order logic 03B15 Higher-order logic; type theory (MSC2010) Keywords:definability; star-free regular word-sets; first-order language; Ehrenfeucht games; monadic second-order language; automata PDFBibTeX XMLCite \textit{W. Thomas}, Inf. Control 42, 148--156 (1979; Zbl 0411.03031) Full Text: DOI