Pages that link to "Item:Q2648517"

The following pages link to The representation of relational algebras (Q2648517):

Displayed 43 items.

• Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) ‎ (← links)
• Embedding modular lattices into relation algebras (Q599841) ‎ (← links)
• Interpretability of first-order linear temporal logics in fork algebras (Q817582) ‎ (← links)
• Relation algebras: Concept of points and representability (Q1063597) ‎ (← links)
• A proof system for the first-order relational calculus (Q1138391) ‎ (← links)
• Boolean modules (Q1154462) ‎ (← links)
• Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) ‎ (← links)
• The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893) ‎ (← links)
• Some sufficient conditions for the representability of relation algebras (Q1249576) ‎ (← links)
• Unifying threads in Alfred Tarski's work (Q1286341) ‎ (← links)
• Bjarni Jónsson's contributions in algebra (Q1327458) ‎ (← links)
• A perspective on the theory of relation algebras (Q1327468) ‎ (← links)
• Atom structures of cylindric algebras and relation algebras (Q1377624) ‎ (← links)
• Relation algebras and their application in temporal and spatial reasoning (Q1781107) ‎ (← links)
• Representations for small relation algebras (Q1903131) ‎ (← links)
• The logic of Peirce algebras (Q1909608) ‎ (← links)
• General geometric lattices and projective geometry of modules (Q1912506) ‎ (← links)
• Tractable approximations for temporal constraint handling (Q1978249) ‎ (← links)
• Relation algebras and function semigroups (Q2539869) ‎ (← links)
• Representability is not decidable for finite relation algebras (Q2701663) ‎ (← links)
• Strongly representable atom structures of relation algebras (Q2781354) ‎ (← links)
• The contributions of Alfred Tarski to algebraic logic (Q3029010) ‎ (← links)
• Some Varieties Containing Relation Algebras (Q3661577) ‎ (← links)
• Alfred Tarski's work in model theory (Q3755424) ‎ (← links)
• Alfred Tarski and undecidable theories (Q3764095) ‎ (← links)
• The contributions of Alfred Tarski to general algebra (Q3770483) ‎ (← links)
• Pair-Dense Relation Algebras (Q3985845) ‎ (← links)
• Relation algebras of every dimension (Q4032659) ‎ (← links)
• A CHOREOGRAPHIC ROBOT VISION MODEL (Q4136627) ‎ (← links)
• Nonfinite axiomatizability results for cylindric and relation algebras (Q4204149) ‎ (← links)
• Equational Reasoning in Non-Classical Logics (Q4236057) ‎ (← links)
• From points to intervals (Q4299134) ‎ (← links)
• The lattice of varieties of representable relation algebras (Q4302359) ‎ (← links)
• Step by step – Building representations in algebraic logic (Q4338323) ‎ (← links)
• Complete representations in algebraic logic (Q4372908) ‎ (← links)
• Inequivalent representations of geometric relation algebras (Q4457734) ‎ (← links)
• Canonical varieties with no canonical axiomatisation (Q5461397) ‎ (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) ‎ (← links)
• Identities in Two-Valued Calculi (Q5806804) ‎ (← links)
• Multigroups (Q5903545) ‎ (← links)
• Multigroups (Q5903802) ‎ (← links)
• Goals and benchmarks for automated map reasoning (Q5927984) ‎ (← links)
• Relation algebras from cylindric algebras. I (Q5956889) ‎ (← links)