The following pages link to Varieties of relation algebras (Q797616):
Displayed 36 items.
- On the complemented disk algebra (Q817585) (← links)
- Matrix relation algebras (Q1090346) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Relation algebras and Schröder categories (Q1105596) (← links)
- An abstract theory of invertible relations (Q1118585) (← links)
- One variable is not enough for defining relation algebras, but two are (Q1175933) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- Peirce algebras (Q1333408) (← links)
- Minimal relation algebras (Q1337151) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Semantic distance between specifications (Q1583257) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Power structures (Q1802251) (← links)
- Representations for small relation algebras (Q1903131) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
- Relativizations of relation algebras by the diversity (Q1918962) (← links)
- On inducing homomorphisms between relation set algebras (Q2277261) (← links)
- Graph algebras and graph varieties (Q2277500) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- VARIETIES OF EQUALITY STRUCTURES (Q3043518) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- Undecidable semiassociative relation algebras (Q4302341) (← links)
- The lattice of varieties of representable relation algebras (Q4302359) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Free algebras in discriminator varieties (Q5905422) (← links)
- Completeness of a relational calculus for program schemes (Q5940932) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)