Pages that link to "Item:Q2648517"
From MaRDI portal
The following pages link to The representation of relational algebras (Q2648517):
Displaying 50 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Embedding modular lattices into relation algebras (Q599841) (← links)
- Fuzzy Krasner \((m,n)\)-hyperrings. (Q604012) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← 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)
- 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 groups (Q1652847) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← 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)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- Ehresmann theory and partition monoids (Q2019289) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) (← 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)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← 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)
