Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Uli Fahrenberg
Themen in »Relational and Algebraic Methods in Computer Science«
boolean algebra category theory computer systems constraint satisfaction databases formal logic fuzzy sets graph theory image processing Kleene algebra knowledge-based system Lambek calculus lattice theory mathematical foundations matrix algebra