Now showing items 1-1 of 1

  • RelMDD-A Library for Manipulating Relations Based on MDDs 

    Atampore, Francis (Brock University, 2012-09-18)
    Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has ...