The following pages link to Relation algebras (Q868510):
Displaying 28 items.
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- Expressive Power and Succinctness of the Positive Calculus of Relations (Q5098722) (← links)
- CHARACTERIZATION OF POLYGROUPS BY IP-SUBSETS (Q5151325) (← links)
- Characterization of small polygroups by their fundamental groups (Q5197552) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants (Q5283218) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- Introduction to Relation Algebras (Q5364875) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- An Application of Relation Algebra to Lexical Databases (Q5757437) (← links)
- Fixed point under set-valued relation-theoretic nonlinear contractions and application (Q5863983) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)
- Relativized relation algebras (Q5932467) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)
- Preface (Q5965628) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
- FINITE RELATION ALGEBRAS (Q6103467) (← links)
- Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture (Q6142827) (← links)
- Unique positive definite solution of non-linear matrix equation on relational metric spaces (Q6153350) (← links)
- Edge colourings and qualitative representations of chromatic algebras (Q6171755) (← links)
- Comer schemes, relation algebras, and the flexible atom conjecture (Q6174410) (← links)
- On relation-theoretic \(F\)-contractions and applications in \(F\)-metric spaces (Q6193265) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)
- A finite representation of relation algebra \(1896_{3013}\) (Q6657157) (← links)
