TY  - GEN
AB  - This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, held in Palaiseau, France, in April 2020. The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
AU  - Fahrenberg, Uli.
AU  - Jipsen, Peter,
AU  - Winter, Michael
CN  - QA76.9.M35
CY  - Cham :
DA  - ©2020.
ID  - 930348
KW  - Computer science
KW  - Algebraic logic
KW  - Relation algebras
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-43520-2
N2  - This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, held in Palaiseau, France, in April 2020. The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
PB  - Springer,
PP  - Cham :
PY  - ©2020.
SN  - 9783030435202
SN  - 3030435202
T1  - Relational and algebraic methods in computer science :18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings /
TI  - Relational and algebraic methods in computer science :18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-43520-2
VL  - 12062
ER  -