dblp.uni-trier.de www.uni-trier.de

8. RelMiCS 2005: St. Catharines, Ontario, Canada

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. Lecture Notes in Computer Science 3929 Springer 2006, ISBN 3-540-33339-8 BibTeX

Invited Papers

Contributed Papers

Copyright © Sat May 16 23:35:49 2009 by Michael Ley (ley@uni-trier.de)