Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Publication year: 2008
ISBN: 978-3-540-78913-0
Internet Resource: Please Login to download book
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.
Subject: Computer Science, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence, Software Engineering, combinatorial optimization, computer, computer science, formal language, formal method, modeling, optimization
