Similar Items: A Dichotomy for First-Order Reducts of Unary Structures
- Unary negation
- Two-Way Unary Temporal Logic over Trees
- On Presburger arithmetic extended with non-unary counting quantifiers
- Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras
- The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs
- First-order query evaluation on structures of bounded degree