Similar Items: Separating regular languages with two quantifier alternations
- Separating Regular Languages with First-Order Logic
- Separation Property for wB- and wS-regular Languages
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- A Complete Axiomatisation for Quantifier-Free Separation Logic
- Regular Separability of One Counter Automata
- Separation for dot-depth two