Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView

DOI10.1007/11828563_6zbMath1134.68422OpenAlexW1508778841MaRDI QIDQ5459175

Rudolf Berghammer

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11828563_6

Mathematics Subject Classification ID

Series and lattices of subgroups (20D30) Abstract data types; algebraic specification (68Q65) Cylindric and polyadic algebras; relation algebras (03G15)

Uses Software

• Unnamed Item

This page was built for publication: Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView