Now showing items 1-1 of 1
RelMDD-A Library for Manipulating Relations Based on MDDs
(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 ...