Similar Items: Logic Meets Algebra: the Case of Regular Languages
- Regular Cost Functions, Part I: Logic and Algebra over Words
- Regular Tree Algebras
- Separating Regular Languages with First-Order Logic
- Modal meet-implication logic
- A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
- On Free $omega$-Continuous and Regular Ordered Algebras