Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International … May 12-17, 2003, Revised Selected Papers
Product DescriptionThis book constitutes the thoroughly refereed joint post-proceedings of the 7th International seminar on relational methods in computer science and the 2nd International Workshop on Applications of Kleene Algebra in Bad Malente, Germany May 2003. The 21 revised full papers presented were carefully selected in two rounds of review and improvement. The papers address [...]
Read more

27. Jul, 2010 