Relational and Algebraic Methods in Computer Science 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submiss...

Descripción completa

Detalles Bibliográficos
Autor Corporativo: SpringerLink (-)
Otros Autores: Fahrenberg, Uli, editor (editor), Gehrke, Mai, editor, Santocanale, Luigi, editor, Winter, Michael, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer International Publishing 2021.
Edición:1st ed. 2021.
Colección:Springer eBooks.
Theoretical Computer Science and General Issues ; 13027.
Acceso en línea:Conectar con la versión electrónica
Ver en Universidad de Navarra:https://innopac.unav.es/record=b45846595*spi
Descripción
Sumario:This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. .
Descripción Física:XVII, 499 páginas : 129 ilustraciones, 54 ilustraciones (color)
Formato:Forma de acceso: World Wide Web.
ISBN:9783030887018