共 50 条
- [33] Positional ω-regular languages PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
- [35] DISINTEGRATION OF REGULAR LANGUAGES REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE, 1969, 3 (NR3): : 45 - &
- [36] Extensions of ω-Regular Languages PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 266 - 272
- [38] Containment of regular languages in non-regular timing diagram languages is decidable COMPUTER AIDED VERIFICATION, 1997, 1254 : 155 - 166
- [39] TRACE LANGUAGES DEFINED BY REGULAR STRING LANGUAGES RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1986, 20 (02): : 113 - 119