Relational and algebraic methods in computer science :
Relational and algebraic methods in computer science : 15th international conference, ramics 2015, braga, portugal, september 28 - october 1, 2015, proceedings /
edited by Wolfram Kahl, Michael Winter, José Oliveira.
- 1st ed. 2015.
- x, 395 páginas : 51 ilustraciones
- Lecture Notes in Computer Science, 9348 0302-9743 ; .
Springer eBooks
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.
9783319247045
QA75.5-76.95
Springer eBooks
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.
9783319247045
QA75.5-76.95