(Lecture Notes in Computer Science (12062)) 1st ed. 2020 Edition
by Uli Fahrenberg (Editor), Peter Jipsen (Editor), Michael Winter (Editor)
This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic.
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.
