Stone Algebras
From MaRDI portal
Software:40314
swMATH28600MaRDI QIDQ40314FDOQ40314
Author name not available (Why is that?)
Cited In (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
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Relational characterisations of paths
- An algebraic framework for minimum spanning tree problems
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH
- A Hierarchy of Algebras for Boolean Subsets
This page was built for software: Stone Algebras
