Similar Items: Two-Way Unary Temporal Logic over Trees
- Unary negation
- On the decidability and complexity of Metric Temporal Logic over finite words
- The complexity of linear-time temporal logic over the class of ordinals
- A Dichotomy for First-Order Reducts of Unary Structures
- On Presburger arithmetic extended with non-unary counting quantifiers
- One-way definability of two-way word transducers