The following pages link to (Q4779147):
Displayed 10 items.
- 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)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- The equational theory of regular words (Q1776401) (← links)
- Complementation of rational sets on scattered linear orderings of finite rank (Q2381522) (← links)
- Tree Automata and Automata on Linear Orderings (Q3625696) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)
- Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
- On Reachability Games of Ordinal Length (Q5448648) (← links)