Similar Items: Regular Cost Functions, Part I: Logic and Algebra over Words
- Linear Temporal Logic for Regular Cost Functions
- Logic Meets Algebra: the Case of Regular Languages
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Synthesis of Computable Regular Functions of Infinite Words
- On the decidability and complexity of Metric Temporal Logic over finite words
- Regular Tree Algebras