Relational and Kleene-Algebraic Methods in Computer Science (Lecture Notes in Computer Science) by R. Berghammer
Springer; 2004 edition | June 1, 2004 | English | ISBN: 354022145X | 290 pages | PDF | 7 MB
This volume contains the proceedings of the 7th International Seminar on - lational Methods in Computer Science (RelMiCS 7) and the 2nd International Workshop onApplications of Kleene Algebra. Thecommonmeeting took placein Bad Malente (near Kiel), Germany,from May May 12–17,2003. Its purpose was to bring together researchers from various subdisciplines of Computer Science, Mathematics and related ?elds who use the calculi of relations and/or Kleene algebra as methodological and conceptual tools in their work.