Similar Items: Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
- First-Order and Temporal Logics for Nested Words
- Capturing the polynomial hierarchy by second-order revised Krom logic
- The succinctness of first-order logic on linear orders
- An extension of data automata that captures XPath
- Model Checking Spatial Logics for Closure Spaces
- Game semantics for first-order logic