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.
Uli Fahrenberg
artificial intelligence boolean algebra boolean functions computer programming computer systems computer vision databases embedded systems formal logic fuzzy sets mathematics matrix algebra programming languages semantics software design