Pages that link to "Item:Q767129"
From MaRDI portal
The following pages link to The representation of relation algebras. II (Q767129):
Displaying 45 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- On graph reasoning (Q731892) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← 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)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← 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)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Identities of groupoids of relations with operation of cylindered intersection (Q1792505) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
- Representations for small relation algebras (Q1903131) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- Ehresmann theory and partition monoids (Q2019289) (← links)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- On groupoids of relations with one conjunctive operation of rank 2 (Q2082252) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- On algebras of relations with operations of left and right reflexive product (Q2207015) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← 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)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- The contributions of Alfred Tarski to general algebra (Q3770483) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- Step by step – Building representations in algebraic logic (Q4338323) (← links)
- Complete representations in algebraic logic (Q4372908) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Reasoning with Graphs (Q4917998) (← links)
- On Semigroups of Relations with the Operation of Left and Right Rectangular Products (Q5140751) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Multigroups (Q5903545) (← links)
- Multigroups (Q5903802) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)
