Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12062)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): RAMiCS: International Conference on Relational and Algebraic Methods in Computer Science
Conference proceedings info: RAMiCS 2020.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
About this book
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.
Editors and Affiliations
-
Laboratoire d’informatique (LIX), École Polytechnique, Palaiseau, France
Uli Fahrenberg
-
Faculty of Mathematics, Chapman University, Orange, USA
Peter Jipsen
-
Department of Computer Science, Brock University, St. Catharines, Canada
Michael Winter
Bibliographic Information
Book Title: Relational and Algebraic Methods in Computer Science
Book Subtitle: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Editors: Uli Fahrenberg, Peter Jipsen, Michael Winter
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-43520-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-43519-6Published: 18 March 2020
eBook ISBN: 978-3-030-43520-2Published: 01 April 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 335
Number of Illustrations: 602 b/w illustrations, 64 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Information Systems and Communication Service, Logics and Meanings of Programs, Numeric Computing