Relation Algebra
From MaRDI portal
Software:43913
swMATH32202MaRDI QIDQ43913FDOQ43913
Author name not available (Why is that?)
Cited In (6)
- 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
- An algebraic framework for minimum spanning tree problems
- Stone relation algebras
This page was built for software: Relation Algebra
