Similar Items: A first-order logic characterization of safety and co-safety languages
- Separating Regular Languages with First-Order Logic
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- Universal First-Order Logic is Superfluous for NL, P, NP and coNP
- The succinctness of first-order logic on linear orders
- A First-Order Complete Temporal Logic for Structured Context-Free Languages
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages