Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
805 kr
Skickas inom 10-15 vardagar
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
805 kr
Skickas inom 10-15 vardagar
1 026 kr
Läs direkt efter köp
20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings
618 kr
Skickas inom 10-15 vardagar
813 kr
Läs direkt efter köp
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.
665 kr
Skickas inom 5-8 vardagar
22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings
918 kr
Skickas inom 10-15 vardagar
1 138 kr
Läs direkt efter köp