Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI
Untertitel Konferenzpublikation:
St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3929
Konferenztitel:
Relational and Kleene-Algebraic Methods in Computer Science (8., 2005, St. Catharines)