Relations and Kleene algebras in computer science

Rudolf Berghammer, Ali Jaoua, Bernhard Möller. Relations and Kleene algebras in computer science. Journal of Logic and Algebraic Programming, 80(6):219-220, 2011. [doi]

Abstract

Abstract is missing.