Pages that link to "Item:Q1063597"
From MaRDI portal
The following pages link to Relation algebras: Concept of points and representability (Q1063597):
Displaying 23 items.
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Dedekind categories with cutoff operators (Q549312) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Partiality. I: Embedding relation algebras (Q817586) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Relation algebraic domain constructions (Q1177156) (← links)
- An algebraic characterization of semantic independence (Q1183413) (← links)
- An algebraic formalization of fuzzy relations (Q1302221) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Finding models through graph saturation (Q1785854) (← links)
- Categorical representation theorems of fuzzy relations (Q1961868) (← links)
- Monomorphic characterization of \(n\)-ary direct products (Q1961870) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Point axioms and related conditions in Dedekind categories (Q2347908) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- Cardinalities of Finite Relations in Coq (Q2829280) (← links)
- Point Axioms in Dedekind Categories (Q2915146) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- Layered map reasoning (Q4923516) (← links)
