Similar Items: Separating Regular Languages with First-Order Logic
- Separating regular languages with two quantifier alternations
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Separation Property for wB- and wS-regular Languages
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- A first-order logic characterization of safety and co-safety languages
- The succinctness of first-order logic on linear orders