Applying relation algebra and RelView to solve problems on orders and lattices
type: Item
instance of: scholarly article
title: Applying relation algebra and RelView to solve problems on orders and lattices
zbMATH Open document ID: 1144.68053
author: Rudolf Berghammer
published in: Acta Informatica
publication date: 2008-06-17T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 5288699
zbMATH Keywords: algorithmic problems on orders and lattices
zbMATH Keywords: relation algebra
describes a project that uses: RelView
describes a project that uses: LatDraw
MaRDI profile type: Publication
full work available at URL: s00236-008-0072-5
OpenAlex ID: W1978606295
cites work: Discrete ordering relations
cites work: Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
cites work: Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
cites work: Relational depth-first-search with applications
cites work: Q4415085
cites work: Computer Algebra in Scientific Computing
cites work: Q5480635
cites work: Relational Methods in Computer Science
cites work: Algebraic Visualization of Relations Using RelView
cites work: Q5532570
cites work: Q5581652
cites work: Q4692885
cites work: Q4692630
cites work: Q4834373
cites work: Concept Lattices
cites work: Q4230685
cites work: Q3925859
cites work: Q5534259
cites work: Q4232496
cites work: Topological sorting of large networks
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Relation algebras
cites work: Semi-Boolean lattices
cites work: A fast algorithm for building lattices
cites work: Generating Linear Extensions Fast
cites work: Q5287518
cites work: Subgroup lattices of groups
cites work: Q5680161
cites work: On the calculus of relations
DOI: 10.1007/S00236-008-0072-5
description: scientific article; zbMATH DE number 5288699