Open menu
Ali Jaoua,Rudolf Berghammer,Bernhard M. Ller
Relations and Kleene Algebra in Computer Science