Pages that link to "Item:Q537919"
From MaRDI portal
The following pages link to Weak MSO with the unbounding quantifier (Q537919):
Displaying 18 items.
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- Finite-state strategies in delay games (Q2182729) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Deterministic automata and extensions of weak MSO (Q2920114) (← links)
- The wadge hierarchy of max-regular languages (Q2920119) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- Delay Games with WMSO$$+$$U Winning Conditions (Q3194731) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q3384169) (← links)
- (Q3384174) (← links)
- (Q5013884) (← links)
- (Q5109508) (← links)
- Weak MSO with the Unbounding Quantifier (Q5389974) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
