书目名称 | Relational and Algebraic Methods in Computer Science |
副标题 | 19th International C |
编辑 | Uli Fahrenberg,Mai Gehrke,Michael Winter |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. .The 29 papers presented in this book were carefully reviewed and selected from 35 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. . |
出版日期 | Conference proceedings 2021 |
关键词 | boolean algebra; category theory; computer systems; constraint satisfaction; databases; formal logic; fuzz |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-88701-8 |
isbn_softcover | 978-3-030-88700-1 |
isbn_ebook | 978-3-030-88701-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer Nature Switzerland AG 2021 |