Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Relational and Algebraic Methods in Computer Science
- 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings
Engelsk Paperback
Relational and Algebraic Methods in Computer Science
- 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings
Engelsk Paperback

526 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog

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.

 

Product detaljer
Sprog:
Engelsk
Sider:
293
ISBN-13:
9783031280825
Indbinding:
Paperback
Udgave:
ISBN-10:
3031280822
Udg. Dato:
8 mar 2023
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
8 mar 2023
Forfatter(e):
Kategori sammenhænge