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.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 9348Editor: Cham : Springer International Publishing : Springer, 2015Edición: 1st ed. 2015Descripción: x, 395 páginas : 51 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319247045
- QA75.5-76.95
Contenidos:
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.
No hay ítems correspondientes a este registro
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.
Para consulta fuera de la UANL se requiere clave de acceso remoto.