Yamasaki, Hideki; Takahashi, Masako; Kobayashi, Kojiro Characterization of \(\omega\)-regular languages by monadic second-order formulas. (English) Zbl 0618.68067 Theor. Comput. Sci. 46, 91-99 (1986). MSC: 68Q45 03D05 03B15 03B25 PDFBibTeX XMLCite \textit{H. Yamasaki} et al., Theor. Comput. Sci. 46, 91--99 (1986; Zbl 0618.68067) Full Text: DOI
Kobayashi, K.; Takahashi, Masako; Yamasaki, H. Logical formulas and four subclasses of \(\omega\)-regular languages. (English) Zbl 0575.03029 Automata on infinite words, Ec. Printemps Inf. Théor., Le Mont Dore 1984, Lect. Notes Comput. Sci. 192, 81-88 (1985). MSC: 03D05 03B15 68Q45 03B10 PDFBibTeX XML
Kobayashi, Kojiro; Takahashi, Masako; Yamasaki, Hideki Characterization of \(\omega\)-regular languages by first-order formulas. (English) Zbl 0551.68069 Theor. Comput. Sci. 28, 315-327 (1984). Reviewer: M.M.Richter MSC: 68Q45 03C07 03C40 PDFBibTeX XMLCite \textit{K. Kobayashi} et al., Theor. Comput. Sci. 28, 315--327 (1984; Zbl 0551.68069) Full Text: DOI