This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.
| ISBN: | 9783319247038 |
| Publication date: | 19th November 2015 |
| Author: | Wolfram Kahl |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 395 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Mathematical theory of computation Maths for computer scientists Software Engineering Artificial intelligence Discrete mathematics |
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.
Relational and Algebraic Methods in Computer Science features in the following genres: Mathematical theory of computation, Maths for computer scientists, Software Engineering, Artificial intelligence, Discrete mathematics
Relational and Algebraic Methods in Computer Science is available in Paperback
Relational and Algebraic Methods in Computer Science was written by Wolfram Kahl and published by Springer International Publishing AG
Relational and Algebraic Methods in Computer Science has 395 pages
Yes it is part of Theoretical Computer Science and General Issues series
£40.49