Stone Algebras

MaRDI QIDQ40314swMATHFDO

Authors Walter Guttmann

Publication date 6 September 2016

Official website https://www.isa-afp.org/entries/Stone_Algebras.html

Cites work

• A New Proof of the Construction Theorem for Stone Algebras
• Algebra of monotonic Boolean transformers
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Lattices and ordered algebraic structures
• Mechanised Separation Algebra
• Relation-algebraic semantics
• Relation-algebraic verification of Prim's minimum spanning tree algorithm
• Stone Lattices. I: Construction Theorems

Described by source

• Stone relation algebras

Cited in

(13)

• RelView
• An algebraic framework for minimum spanning tree problems
• Verifying minimum spanning tree algorithms with Stone relation algebras
• Relational characterisations of paths
• VACID-0
• Stone Kleene
• Relation Algebra
• Kleene Algebra
• KAD
• 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
• Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms

This page was built for software: Stone Algebras