Relational Methods in Computer Science
Publication year: 2006
ISBN: 978-3-540-33340-1
Internet Resource: Please Login to download book
This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS 8), held in conjunctionwith the 3rdInternational Workshop on Applications of Kleene Algebra and aCOST Action 274 (TARSKI) Workshop. This combined meeting took place inSt. Catharines, Ontario, Canada, from February 22 to February 26, 2005. Thepurpose of this meeting was to bring together researchers from various subdis-ciplines of computer science and mathematics who use the calculus of relationsand/or Kleene algebra as methodological and conceptual tools in their work.
Subject: Computer Science, Processing, algorithm, algorithms, computer, computer science, evolutionary algorithm, programming, verification
