Similar Items: A note on the expressive power of linear orders
- On the Expressive Power of Higher-Order Pushdown Systems
- About the Expressive Power and Complexity of Order-Invariance with Two Variables
- The succinctness of first-order logic on linear orders
- The Complexity of Datalog on Linear Orders
- Decidable Expansions of Labelled Linear Orderings
- A note on first-order spectra with binary relations