Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView

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 specific purpose Computer Algebra system RelV...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Berghammer, Rudolf
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithmic Problem Algorithmics. Computability. Computer arithmetics Applied sciences Binary Decision Diagram Black Vertex Boolean Matrix Complete Lattice Computer science control theory systems Exact sciences and technology Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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 specific purpose Computer Algebra system RelView to solve some algorithmic problems.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/11870814_4