Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8428)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: RAMICS 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (27 papers)
-
Concurrent Kleene Algebras and Related Formalisms
-
Heterogeneous and Categorical Approaches
-
Applications of Relational and Algebraic Methods
Other volumes
-
Relational and Algebraic Methods in Computer Science
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Relational and Algebraic Methods in Computer Science
Book Subtitle: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Editors: Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-06251-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-06250-1Published: 10 April 2014
eBook ISBN: 978-3-319-06251-8Published: 08 April 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 463
Number of Illustrations: 28 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Software Engineering, Artificial Intelligence, Discrete Mathematics in Computer Science