Editors:
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)
Conference series link(s): RAMiCS: International Conference on Relational and Algebraic Methods in Computer Science
Conference proceedings info: RAMICS 2014.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (27 papers)
-
Front Matter
-
Concurrent Kleene Algebras and Related Formalisms
-
Heterogeneous and Categorical Approaches
-
Applications of Relational and Algebraic Methods
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
-
NICTA and UNSW, Kensington, Australia
Peter Höfner
-
School of Computational Sciences, Chapman University, Orange, USA
Peter Jipsen
-
Department of Computing and Software, McMaster University, Hamilton, Canada
Wolfram Kahl
-
Department of Computer Science, University of Augsburg, Augsburg, Germany
Martin Eric Müller
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