Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2¿5, 2021, Proceedings
Herausgegeben:Fahrenberg, Uli; Gehrke, Mai; Santocanale, Luigi; Winter, Michael
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2¿5, 2021, Proceedings
Herausgegeben:Fahrenberg, Uli; Gehrke, Mai; Santocanale, Luigi; Winter, Michael
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Logical Foundations of Computer Science55,99 €
- Formal Methods Teaching41,99 €
- Hajnal AndrékaUniversal Algebraic Logic95,99 €
- Hajnal AndrékaUniversal Algebraic Logic74,99 €
- Antonio Di NolaFuzzy Relation Equations and Their Applications to Knowledge Engineering115,99 €
- Logical Foundations of Computer Science37,99 €
- Foundations of Software Science and Computation Structures30,99 €
-
-
-
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.
- Produktdetails
- Theoretical Computer Science and General Issues 13027
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-030-88700-1
- 1st ed. 2021
- Seitenzahl: 520
- Erscheinungstermin: 13. Oktober 2021
- Englisch
- Abmessung: 235mm x 155mm x 28mm
- Gewicht: 779g
- ISBN-13: 9783030887001
- ISBN-10: 3030887006
- Artikelnr.: 62521193
- Theoretical Computer Science and General Issues 13027
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-030-88700-1
- 1st ed. 2021
- Seitenzahl: 520
- Erscheinungstermin: 13. Oktober 2021
- Englisch
- Abmessung: 235mm x 155mm x 28mm
- Gewicht: 779g
- ISBN-13: 9783030887001
- ISBN-10: 3030887006
- Artikelnr.: 62521193