The following pages link to Relation algebras (Q868510):
Displaying 50 items.
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Categories with fuzzy sets and relations (Q277341) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Unified relation-theoretic metrical fixed point theorems under an implicit contractive condition with an application (Q284882) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Mitsch's order and inclusion for binary relations and partitions. (Q372344) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Algebraic separation logic (Q549676) (← links)
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Relation algebras by games (Q700879) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- Varieties of relation algebras (Q797616) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- Some algebraic theory for many-valued relation algebras (Q873744) (← links)
- Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Theories with the independence property (Q993495) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Theory of relations. Transl. from the French by P. Clote (Q1076017) (← links)
- The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893) (← links)
- Division and renaming in relational algebras (Q1280872) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- Peirce algebras (Q1333408) (← links)
- Minimal relation algebras (Q1337151) (← links)
- A microcomputer based system for small relation algebras (Q1342135) (← links)
- Finite representations for two small relation algebras (Q1623243) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- Relation algebras and groups (Q1652847) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Coset relation algebras (Q1652860) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- A nonpermutational integral relation algebra (Q1803909) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Relation algebras with \(n\)-dimensional relational bases (Q1964020) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Term algebras of elementarily equivalent atom structures (Q1991592) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Relation-theoretic nonlinear contractions in an \(\mathcal{F}\)-metric space and applications (Q2047459) (← links)
- Algebras of binary isolating formulas (Q2066096) (← links)
