Relation Algebra
From MaRDI portal
Cited in
(10)- Reasoning about cardinalities of relations with applications supported by proof assistants
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Cardinality of relations and relational approximation algorithms
- RelView
- Stone Kleene
- Stone Algebras
- Kleene Algebra
- An algebraic framework for minimum spanning tree problems
- Stone relation algebras
This page was built for software: Relation Algebra
