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 2 By Georgi Dimov, Dimiter Vakarelov (auth.), Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.)
2006 | 262 Pages | ISBN: 3540333398 | PDF | 3 MB