Similar Items: Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
- On the strictness of the quantifier structure hierarchy in first-order logic
- Positive First-order Logic on Words and Graphs
- Successor-Invariant First-Order Logic on Classes of Bounded Degree
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- The parameterized space complexity of model-checking bounded variable first-order logic
- Monadic Second Order Logic with Measure and Category Quantifiers