The following pages link to (Q4596779):
Displayed 4 items.
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- Universality of R-automata with Value Copying (Q5179055) (← links)
- (Q5216303) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)