Skip to main content

Relational and Algebraic Methods in Computer Science

14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

  • Conference proceedings
  • © 2014

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.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Concurrent Kleene Algebras and Related Formalisms

  2. Reasoning About Computations and Programs

  3. Heterogeneous and Categorical Approaches

  4. Applications of Relational and Algebraic Methods

Other volumes

  1. Relational and Algebraic Methods in Computer Science

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

Publish with us