Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings| By: | Uli Fahrenberg; Peter Jipsen; Michael Winter |
| Publisher: | Springer Nature |
| Print ISBN: | 9783030435196 |
| eText ISBN: | 9783030435202 |
| Edition: | 1 |
| Copyright: | 2020 |
| Format: | Reflowable |
Lifetime - $68.74
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.