TY - JOUR A1 - Berghammer, Rudolf A1 - Jaoua, Ali Mohamed A1 - Möller, Bernhard T1 - Relations and Kleene algebras in computer science T2 - The Journal of Logic and Algebraic Programming Y1 - 2011 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39336 UR - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-393369 SN - 1567-8326 VL - 80 IS - 6 SP - 219 EP - 220 PB - Elsevier BV ER -