RelView - An OBDD-Based Computer Algebra System for Relations

Rudolf Berghammer, Frank Neumann. RelView - An OBDD-Based Computer Algebra System for Relations. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings. Volume 3718 of Lecture Notes in Computer Science, pages 40-51, Springer, 2005. [doi]

Authors

Rudolf Berghammer

This author has not been identified. Look up 'Rudolf Berghammer' in Google

Frank Neumann

This author has not been identified. Look up 'Frank Neumann' in Google