This book constitutes the proceedings of the 14th International
Conference on Relational and Algebraic Methods in Computer Science,
RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from
37 submissions. The papers are structured in specific fields on
concurrent Kleene algebras and related formalisms, reasoning about
computations and programs, heterogeneous and categorical
approaches, applications of relational and algebraic methods and
developments related to modal logics and lattices.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!