Pages that link to "Item:Q5462675"

The following pages link to COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS (Q5462675):

Displayed 12 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)
• (Q5207048) ‎ (← links)