Georgi Dimov, Dimiter Vakarelov (auth.), Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.)

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, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers