Similar Items: About the Expressive Power and Complexity of Order-Invariance with Two Variables
- Order-Invariant Types and Their Applications
- Two-Variable Logic with Two Order Relations
- A note on the expressive power of linear orders
- On the Expressive Power of Higher-Order Pushdown Systems
- Two-variable Logic with Counting and a Linear Order
- Successor-Invariant First-Order Logic on Classes of Bounded Degree