The following pages link to (Q4596779):
Displaying 7 items.
- Points d'orbite dense de certains langages de mots infinis (Q1093375) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- Languages obtained from infinite words (Q4385675) (← links)
- Universality of R-automata with Value Copying (Q5179055) (← links)
- (Q5216303) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)