TY  - BOOK
AU  - Kahl,Wolfram
AU  - Winter,Michael
AU  - Oliveira,José
TI  - Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings 
SN  - 9783319247045
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Software engineering
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
KW  - Artificial intelligence
N1  - Theory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.-  Cylindric algebras -- 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
UR  - http://dx.doi.org/10.1007/978-3-319-24704-5
ER  -