The following pages link to (Q2920114):
Displayed 6 items.
- Weak MSO with the unbounding quantifier (Q537919) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- (Q5091266) (← links)
- Foundations of graph path query languages. Course notes for the reasoning web summer school 2021 (Q6166576) (← links)