The following pages link to (Q4036596):
Displaying 20 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)
- Eilenberg Theorems for Free (Q5111258) (← 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)
