Pages that link to "Item:Q2920114"
From MaRDI portal
The following pages link to Deterministic automata and extensions of weak MSO (Q2920114):
Displaying 7 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)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5244782) (← links)
- Weak MSO with the Unbounding Quantifier (Q5389974) (← links)