The following pages link to (Q5810602):
Displaying 50 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Relational properties of sequential composition of coalgebras (Q406463) (← links)
- Symmetric quotients and domain constructions (Q582127) (← links)
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Embedding modular lattices into relation algebras (Q599841) (← links)
- Equationally distinct countable simple {\textsf{Q}}-relation algebras (Q607448) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Membership values in arrow categories (Q723308) (← links)
- A sequent calculus for relation algebras (Q786804) (← links)
- Varieties of relation algebras (Q797616) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- Arrow categories (Q1043285) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Matrix relation algebras (Q1090346) (← links)
- Computation of Aristotle's and Gergonne's syllogisms (Q1102285) (← links)
- An abstract theory of invertible relations (Q1118585) (← links)
- Boolean modules (Q1154462) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Some sufficient conditions for the representability of relation algebras (Q1249576) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Peirce algebras (Q1333408) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Representation theory of Goguen categories. (Q1406858) (← links)
- A new algebraic approach to L-fuzzy relations convenient to study crispness (Q1602557) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- A relation algebraic approach to interaction categories (Q1961872) (← links)
- On equational theories of varieties of anticommutative rings (Q1966192) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- General composition of relations (Q2366150) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view (Q2910980) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- Congruences and ideals on Boolean modules: a heterogeneous point of view (Q3107341) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- Some Varieties Containing Relation Algebras (Q3661577) (← links)
