TY - JOUR A1 - Berghammer, Rudolf A1 - Möller, Bernhard A1 - Struth, Georg T1 - Relations and Kleene algebras in computer science T2 - The Journal of Logic and Algebraic Programming Y1 - 2010 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39339 UR - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-393392 SN - 1567-8326 VL - 79 IS - 8 SP - 705 EP - 706 PB - Elsevier BV ER -