Similar Items: Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- Learning Concepts Definable in First-Order Logic with Counting
- Separating Regular Languages with First-Order Logic
- A first-order logic characterization of safety and co-safety languages
- On logical hierarchies within FO^2-definable languages
- The succinctness of first-order logic on linear orders