共 50 条
- [31] Extensions of ω-Regular Languages PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 266 - 272
- [33] Containment of regular languages in non-regular timing diagram languages is decidable COMPUTER AIDED VERIFICATION, 1997, 1254 : 155 - 166
- [34] TRACE LANGUAGES DEFINED BY REGULAR STRING LANGUAGES RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1986, 20 (02): : 113 - 119
- [37] Licensing Double Negation in NC and non-NC languages Natural Language & Linguistic Theory, 2012, 30 : 611 - 649