书目名称 | Relational and Algebraic Methods in Computer Science |
副标题 | 20th International C |
编辑 | Roland Glück,Luigi Santocanale,Michael Winter |
视频video | http://file.papertrans.cn/827/826118/826118.mp4 |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3–6, 2023...The 17 papers presented in this book were carefully reviewed and selected from 26 submissions...They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond...Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers... . |
出版日期 | Conference proceedings 2023 |
关键词 | Kleene algebra; Logic and verification; Higher order logic; Programming logic; Distributed systems; Categ |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-031-28083-2 |
isbn_softcover | 978-3-031-28082-5 |
isbn_ebook | 978-3-031-28083-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |