The following pages link to Relation algebras (Q868510):
Displaying 50 items.
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Categories with fuzzy sets and relations (Q277341) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Unified relation-theoretic metrical fixed point theorems under an implicit contractive condition with an application (Q284882) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Mitsch's order and inclusion for binary relations and partitions. (Q372344) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Algebraic separation logic (Q549676) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Theories with the independence property (Q993495) (← links)
- Finite representations for two small relation algebras (Q1623243) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- Relation algebras and groups (Q1652847) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Coset relation algebras (Q1652860) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Relation algebra as programming language using the Ampersand compiler (Q1785856) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Term algebras of elementarily equivalent atom structures (Q1991592) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Relation-theoretic nonlinear contractions in an \(\mathcal{F}\)-metric space and applications (Q2047459) (← links)
- Algebras of binary isolating formulas (Q2066096) (← links)
- An implicit relation, relational theoretic approach under \(w\)-distance and application to nonlinear matrix equations (Q2072971) (← links)
- Relation theoretic contractions and their applications in \(b\)-metric like spaces (Q2101156) (← links)
- Unified relational-theoretic approach in metric-like spaces with an application (Q2130917) (← links)
- Relation-theoretic fixed point theorems under a new implicit function with applications to ordinary differential equations (Q2132245) (← links)
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- A relational-theoretic approach to get solution of nonlinear matrix equations (Q2157775) (← links)
- Relational Meir-Keeler contractions and common fixed point theorems (Q2158429) (← links)
- Improved bounds on the size of the smallest representation of relation algebra \(32_{65}\) (Q2159495) (← links)
- Employing locally finitely \(\mathcal{T}\)-transitive binary relations to prove coincidence theorems for nonlinear contractions (Q2188097) (← links)
- Arbitrary binary relations, contraction mappings, and \(b\)-metric spaces (Q2208523) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- On \(\mathfrak{R}\)-partial \(b\)-metric spaces and related fixed point results with applications (Q2220525) (← links)
- Some new aspects of metric fixed point theory (Q2244326) (← links)
- The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs (Q2254638) (← links)
