Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers - International Seminar on Relational Methods in Computer Science 2005 : St. Catharines, Ont.); MacCaull, Wendy; Duntsch, Ivo.; Winter, Michael; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer science -- Congresses; Relationism -- Congresses; Algebra -- Computer programs -- Congresses; Relation algebras -- Congresses