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
Subtitle of conference publication:
St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Series title:
Lecture Notes in Computer Science
Series volume:
3929
Conference title:
Relational and Kleene-Algebraic Methods in Computer Science (8., 2005, St. Catharines)