Stone Kleene

MaRDI QIDQ40313swMATHFDO

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

Cited in

(2)

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

This page was built for software: Stone Kleene