Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
2014
Series:
Lecture Notes in Computer Science (Book 8428)
Author:
Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
ISBN:
9783319062518
Related ISBNs:
9783319062501
Publisher:
Springer International Publishing
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2019-08-29
Usage restrictions:
Copyright
Copyright date:
2014
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy