Similar Items: Unary negation
- Two-Way Unary Temporal Logic over Trees
- A Dichotomy for First-Order Reducts of Unary Structures
- On Presburger arithmetic extended with non-unary counting quantifiers
- Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras
- Adding Negation to Lambda Mu
- Direct Access for Conjunctive Queries with Negations