Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings: 13896 - Brossura

 
9783031280825: Relational and Algebraic Methods in Computer Science: 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings: 13896
Brossura
ISBN 10: 3031280822 ISBN 13: 9783031280825
Casa editrice: Springer, 2023

Sinossi

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3–6, 2023.

The 17 papers presented in this book were carefully reviewed and selected from 26 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.

Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.

 

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2023
Lingua
Inglese
ISBN 10 
3031280822
ISBN 13 
9783031280825
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
312
Redattore
Glück Roland, Santocanale Luigi, Winter Michael
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania