Pages that link to "Item:Q5462675"
From MaRDI portal
The following pages link to COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS (Q5462675):
Displaying 13 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- Automata on linear orderings (Q859978) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- Regular Languages of Words over Countable Linear Orderings (Q3012914) (← links)
- Limited Set quantifiers over Countable Linear Orderings (Q3449472) (← links)
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings (Q3605520) (← links)
- Tree Automata and Automata on Linear Orderings (Q3625696) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)
- Equational Theories of Scattered and Countable Series-Parallel Posets (Q5041243) (← links)
- (Q5207048) (← links)
