Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Będlewo, Poland, during April 7–10, 2026.
The 18 full papers included in this book were carefully reviewed and selected from 23 submissions. RAMiCS 2026 topics range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.solutions.
Autor*in
Uli Fahrenberg
Themen in »Relational and Algebraic Methods in Computer Science«
Algebraic language theory Formal languages and automata theory Discrete mathematics Semantics and reasoning Program semantics Models of computation Categorical semantics Program reasoning Program verification Logic and verification Modal and temporal logics Logic Computational complexity and cryptography Complexity classes