Relation Algebra

MaRDI QIDQ7361756FDO

Authors Alasdair Armstrong, Simon Foster, Georg Struth, Tjark Weber

Publication date 25 January 2014

Cites work

• On the calculus of relations
• Programming and automating mathematics in the Tarski-Kleene hierarchy
• Relation algebras

Cited in

(3)

• Relational Characterisations of Paths
• Catoids, Categories, Groupoids
• Residuated Lattices

This page was built for software: Relation Algebra