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