Cited in
(45)- Algebraization of quantifier logics, an introductory overview
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
- Strongly representable atom structures of relation algebras
- Programs as partial graphs. I: Flow equivalence and correctness
- Complete representations in algebraic logic
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Multigroups
- On the variety generated by generalized subreducts of Tarski's algebras of relations
- On semigroups of relations with the operation of left and right rectangular products
- Tractable approximations for temporal constraint handling
- Canonical varieties with no canonical axiomatisation
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- On algebras of binary relations with conjunctive operations
- Step by step – Building representations in algebraic logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Multigroups
- The contributions of Alfred Tarski to general algebra
- On Tarski's axiomatic foundations of the calculus of relations
- Relation algebras and function semigroups
- On groupoids of relations with one conjunctive operation of rank 2
- Interpretability of first-order linear temporal logics in fork algebras
- Axiomatizing the logical core of XPath 2.0
- Reasoning with graphs
- On graph reasoning
- Representations for small relation algebras
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
- Algebraic Logic, Where Does it Stand Today?
- Bjarni Jónsson's contributions in algebra
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
- On algebras of relations with operations of left and right reflexive product
- Relation algebras of intervals
- Relation algebras from cylindric algebras. I
- Ehresmann theory and partition monoids
- The contributions of Alfred Tarski to algebraic logic
- Boolean modules
- Identities of groupoids of relations with operation of cylindered intersection
- Relation algebras: Concept of points and representability
- Varieties of semiassociative relation algebras and tense algebras
- A perspective on the theory of relation algebras
- Pair-Dense Relation Algebras
- Representability is not decidable for finite relation algebras
- Unifying threads in Alfred Tarski's work
- Subcompletions of representable relation algebras
- Finite, integral, and finite-dimensional relation algebras: A brief history
- Undecidability of representability as binary relations
This page was built for publication: The representation of relation algebras. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q767129)
