Skip to content

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

Rudolf Berghammer

VenueBCASC
Year2006
ProceedingsCASC

Browse the full CASC paper archive.