This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 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.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 EPUB ● ISBN 9783031280832 ● 编辑 Roland Gluck & Luigi Santocanale ● 出版者 Springer International Publishing ● 发布时间 2023 ● 下载 3 时 ● 货币 EUR ● ID 8878993 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器