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 By Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
2004 | 286 Pages | ISBN: 354022145X | PDF | 3 MB