Relation Algebra - Software

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