Relational and algebraic methods in computer science 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings / Uli Fahrenberg, Peter Jipsen, Michael Winter (eds.).
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. Topic...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Ebook |
| Language: | English |
| Published: |
Cham :
Springer,
©2020.
|
| Series: | Lecture notes in computer science ;
12062. LNCS sublibrary. Theoretical computer science and general issues |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource |
| Bibliography: | Includes bibliographical references and author index. |
| ISBN: | 3030435202 9783030435196 9783030435202 |
| ISSN: | 1611-3349 ; |