Software
- RelMICS / Relational Methods in Computer Science maintained by Wolfram Kahl
- Carsten Sinz: ARA / An Automatic Theorem Prover for Relation Algebras
Read more about this topic: Relation Algebra
Software
Read more about this topic: Relation Algebra