Relational and Algebraic Methods in Computer Science

Beschreibung

This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19–22, 2024.

The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on 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«

semigroups residuated lattices semirings Kleene algebras relation algebras quantales program logics automata concurrency formal languages games networks and programming languages algorithm design automated reasoning network protocol analysis

Stimmen zu »Relational and Algebraic Methods in Computer Science«

Details

Link teilen