Relations and Kleene Algebra in Computer Science
Publication year: 2006
ISBN: 978-3-540-37874-7
Internet Resource: Please Login to download book
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) and the 4th Interna-tional Workshop on Applications of Kleene Algebra (AKA 2006). This year, special focus was on formal methods, logics ofprograms and links with neighboring disciplines. This diversity is reflected bythe contributions to this volume.The Programme Committee selected 25 technical contributions out of 44 ini-tial submissions from 14 countries.
Subject: Computer Science, Kleene algebras, artificial intelligence, calculus, complexity, cylindric algebras, formal languages, formal method, formal methods, logic, mathematical logics, refinement, relational algebras, relational proof theory, relational representation, verification
