Pages that link to "Item:Q2909624"
From MaRDI portal
The following pages link to The topological complexity of MSO+U and related automata models (Q2909624):
Displaying 10 items.
- Simple strategies for Banach-Mazur games and sets of probability 1 (Q897645) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- (Q3384174) (← links)
- Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695) (← links)
- On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words (Q5025066) (← links)
- (Q5109508) (← links)