Relational and Kleene-Algebraic Methods in Computer Science
Subtitle of conference publication:
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
Series title:
Lecture Notes in Computer Science
Series volume:
3051
Conference title:
Relational and Kleene-Algebraic Methods in Computer Science (7., 2003, Bad Malente)