swMATH32202MaRDI QIDQ43913FDOQ43913
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Relation_Algebra.html
Cited In (9)
- 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
- 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
