Stone Algebras
From MaRDI portal
Software:40314
No author found.
Related Items (7)
Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms ⋮ Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Relational characterisations of paths ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ An algebraic framework for minimum spanning tree problems
This page was built for software: Stone Algebras
