TY  - GEN
AB  - 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.
AU  - Fahrenberg, Uli.,
AU  - Gehrke, Mai,
AU  - Santocanale, Luigi,
AU  - Winter, Michael
CN  - QA76.9.M35
DO  - 10.1007/978-3-030-88701-8
DO  - doi
ID  - 1440506
KW  - Computer science
KW  - Algebraic logic
KW  - Relation algebras
KW  - Informatique
KW  - Logique algébrique
KW  - Algèbres des relations
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88701-8
N2  - 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.
SN  - 9783030887018
SN  - 3030887014
T1  - Relational and algebraic methods in computer science :19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings /
TI  - Relational and algebraic methods in computer science :19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88701-8
VL  - 13027
ER  -