The following pages link to Automata on linear orderings (Q859978):
Displayed 4 items.
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata (Q3624594) (← links)
- Tree Automata and Automata on Linear Orderings (Q3625696) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)