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