The following pages link to (Q4601873):
Displayed 9 items.
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints (Q2411048) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Delay Games with WMSO$$+$$U Winning Conditions (Q3194731) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q3384174) (← links)
- Recognisable Languages over Monads (Q3451085) (← links)
- (Q5216303) (← links)