Relational and Kleene-Algebraic Methods in Computer Science
Untertitel Konferenzpublikation:
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
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3051
Konferenztitel:
Relational and Kleene-Algebraic Methods in Computer Science (7., 2003, Bad Malente)