Characterization of ω-regular languages by monadic second-order formulas

✍ Scribed by Hideki Yamasaki; Masako Takahashi; Kojiro Kobayashi

• Publisher: Elsevier Science
• Year: 1986
• Tongue: English
• Weight: 530 KB
• Volume: 46
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(86)90024-1