Similar Items: Preservation theorems for Tarski's relation algebra
- An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
- Tarski's influence on computer science
- Completeness Theorems for Kleene algebra with tests and top
- Preservation and decomposition theorems for bounded degree structures
- Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
- Fixed Points Theorems for Non-Transitive Relations