Applying relation algebra and RelView to solve problems on orders and lattices

Authors:
Rudolf Berghammer
Affiliations:
Christian-Albrechts-Universität zu Kiel, Institut für Informatik, 24098, Kiel, Germany
Venue:
Acta Informatica
Year:
2008

Citing 0
Cited 3

On automated program construction and verification

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Relational modelling and solution of chessboard problems

RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Relation algebras, matrices, and multi-valued decision diagrams

RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Relation algebra is well suited for dealing with many problems on ordered sets. Introducing lattices via order relations, this suggests to apply it and tools for its mechanization for lattice-theoretical problems, too. We combine relation algebra and the BDD-based specific purpose Computer Algebra system RelView to solve some algorithmic problems on orders and lattices and to visualize their solutions.