The following pages link to (Q4036596):
Displaying 30 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Fragments of first-order logic over infinite words (Q537914) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- On syntactic congruences for \(\omega\)-languages (Q1391139) (← links)
- Wreath product and infinite words (Q1587974) (← links)
- How to decide continuity of rational functions on infinite words (Q1589419) (← links)
- Logic over words on denumerable ordinals (Q1604197) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Star-free sets of words on ordinals (Q1854423) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- On language varieties without Boolean operations (Q2232259) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- Quantifier Alternation for Infinite Words (Q2811342) (← links)
- Profinite Monads, Profinite Equations, and Reiterman’s Theorem (Q2811362) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Recognisable Languages over Monads (Q3451085) (← links)
- *-Continuous Kleene $$\omega $$-Algebras (Q3451106) (← links)
- The Algebraic Counterpart of the Wagner Hierarchy (Q3507423) (← links)
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings (Q3605520) (← links)
- The Wadge-Wagner hierarchy of ω-rational sets (Q4571937) (← links)
- (Q4603446) (← links)
- Algebras for classifying regular tree languages and an application to frontier testability (Q4630273) (← links)
- (Q4643960) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- Eilenberg Theorems for Free (Q5111258) (← links)
- (Q5207048) (← links)
- A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I (Q5321775) (← links)
- A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II (Q5321776) (← links)
- (Q5875342) (← links)
