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

DOI10.1007/s00236-008-0072-5zbMath1144.68053OpenAlexW1978606295MaRDI QIDQ929300

Rudolf Berghammer

Publication date: 17 June 2008

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-008-0072-5

zbMATH Keywords

relation algebraalgorithmic problems on orders and lattices

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (8)

Relation Algebras, Matrices, and Multi-valued Decision Diagrams ⋮ Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets ⋮ Computing and visualizing Banks sets of dominance relations using relation algebra and RelView ⋮ Relation-algebraic modeling and solution of chessboard independence and domination problems ⋮ A general method for representing sets of relations by vectors ⋮ A relation-algebraic approach to simple games ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool ⋮ Cardinality of relations and relational approximation algorithms

Uses Software

• RelView
• LatDraw

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras
• Discrete ordering relations
• Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
• Relational depth-first-search with applications
• A fast algorithm for building lattices
• Subgroup lattices of groups
• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
• Semi-Boolean lattices
• Topological sorting of large networks
• Algebraic Visualization of Relations Using RelView
• Time, clocks, and the ordering of events in a distributed system
• Generating Linear Extensions Fast
• Computer Algebra in Scientific Computing
• On the calculus of relations
• Relational Methods in Computer Science
• Concept Lattices

This page was built for publication: Applying relation algebra and RelView to solve problems on orders and lattices