Relation Algebra
From MaRDI portal
Software:43913
swMATH32202MaRDI QIDQ43913FDOQ43913
Author name not available (Why is that?)
Cited In (6)
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Cardinality of relations and relational approximation algorithms
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
- Stone Relation Algebras
- An algebraic framework for minimum spanning tree problems
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants
This page was built for software: Relation Algebra
