Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Description
This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3 invited papers address foundational and methodological aspects of the calculi of relations and Kleene algebra, and their application in various areas of computer science and information processing.
Keywords
ComputersArtificial IntelligenceComputer ScienceData ScienceInformation TechnologyLogic DesignProgrammingSoftware Development & EngineeringMathematicsAlgebraDiscrete MathematicsLogic
2006Book
Author(s)International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont.)
PublisherSpringer Science & Business Media
ISBN9783540333395
LanguageEnglish
