Relation Algebra
From MaRDI portal
Software:43913
No author found.
Related Items (6)
Stone Relation Algebras ⋮ 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 ⋮ An algebraic framework for minimum spanning tree problems ⋮ Cardinality of relations and relational approximation algorithms
This page was built for software: Relation Algebra
