Similar Items: Positive First-order Logic on Words and Graphs
- First-Order and Temporal Logics for Nested Words
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
- The succinctness of first-order logic on linear orders
- Game semantics for first-order logic
- On first-order transductions of classes of graphs
- The monadic second-order logic of graphs XVI : Canonical graph decompositions