Similar Items: Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- Learning Concepts Definable in First-Order Logic with Counting
- On the strictness of the quantifier structure hierarchy in first-order logic
- Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
- Separating Regular Languages with First-Order Logic