TY - BOOK A2 - Berghammer, Rudolf A2 - Möller, Bernhard A2 - Struth, Georg T1 - Relational and Kleene-algebraic methods in computer science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003; revised selected papers Y1 - 2004 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35959 SN - 978-3-540-22145-6 SN - 0302-9743 PB - Springer CY - Berlin u.a. ER -