Stone Kleene

MaRDI QIDQ40313swMATHFDO

Authors Walter Guttmann

Publication date 6 July 2017

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

Cites work

• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebras for iteration and infinite computations
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Kleene getting lazy
• Reasoning algebraically about loops
• Relation-algebraic verification of Prim's minimum spanning tree algorithm
• Stone relation algebras
• Towards a refinement algebra

Cited in

(2)

• Verifying minimum spanning tree algorithms with Stone relation algebras
• Relation Algebra

This page was built for software: Stone Kleene