Similar Items: The succinctness of first-order logic on linear orders
- Making first order linear logic a generating grammar
- Hardness of monadic second-order formulae over succinct graphs
- Game semantics for first-order logic
- First-Order and Temporal Logics for Nested Words
- Lindstrom theorems for fragments of first-order logic
- Separating Regular Languages with First-Order Logic