The following pages link to Varieties of relation algebras (Q797616):
Displaying 50 items.
- On partially ordered semigroups of relations with domino operations. (Q284661) (← links)
- Identities of semigroups of relations with an operator of reflexive double cylindrification (Q465152) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- 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)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- On varieties of groupoids of relations with operation of binary cylindrification. (Q2257978) (← links)
- On inducing homomorphisms between relation set algebras (Q2277261) (← links)
- Graph algebras and graph varieties (Q2277500) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Varieties generated by completions (Q2311330) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- On identities of relation algebras with domino operations. (Q2356577) (← 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)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← 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)
- (Q4612556) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- О базисах тождеств многообразий группоидов отношений (Q5109607) (← links)