Skip to main content
SpringerLink
Log in

Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Jules Desharnais

    1. Université Laval, Québec, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Walter Guttmann

    1. University of Canterbury, Christchurch, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stef Joosten

    1. Open Universiteit, Heerlen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11194)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: RAMiCS 2018.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

Table of contents (22 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Finite Relation Algebras with Normal Representations

      • Manuel Bodirsky
      Pages 3-17

  3. Theoretical Foundations

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. C-Dioids and \(\mu \)-Continuous Chomsky-Algebras

      • Hans Leiß, Mark Hopkins
      Pages 21-36

    3. Coequalizers and Tensor Products for Continuous Idempotent Semirings

      • Mark Hopkins, Hans Leiß
      Pages 37-52

    4. Distances, Norms and Error Propagation in Idempotent Semirings

      • Roland Glück
      Pages 53-69

    5. T-Norm Based Operations in Arrow Categories

      • Michael Winter
      Pages 70-86

    6. Decidability of Equational Theories for Subsignatures of Relation Algebra

      • Robin Hirsch
      Pages 87-96

    7. Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad

      • Koki Nishizawa, Norihiro Tsumagari
      Pages 97-112

    8. Axiomatizing Discrete Spatial Relations

      • Giulia Sindoni, Katsuhiko Sano, John G. Stell
      Pages 113-130

    9. A Modal and Relevance Logic for Qualitative Spatial Reasoning

      • Pranab Kumar Ghosh, Michael Winter
      Pages 131-147

    10. On the Structure of Generalized Effect Algebras and Separation Algebras

      • Sarah Alexander, Peter Jipsen, Nadiya Upegui
      Pages 148-165

    11. Counting Finite Linearly Ordered Involutive Bisemilattices

      • Stefano Bonzio, Michele Pra Baldi, Diego Valota
      Pages 166-183

    12. MIX \(\star \)-Autonomous Quantales and the Continuous Weak Order

      • Maria João Gouveia, Luigi Santocanale
      Pages 184-201

  4. Reasoning About Computations and Programs

    1. Front Matter

      Pages 203-203
      Download chapter PDF

    2. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

      • Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
      Pages 205-224

    3. Verifying Hybrid Systems with Modal Kleene Algebra

      • Jonathan Julián Huerta y Munive, Georg Struth
      Pages 225-243

    4. Algebraic Derivation of Until Rules and Application to Timer Verification

      • Jessica Ertel, Roland Glück, Bernhard Möller
      Pages 244-262

    5. False Failure: Creating Failure Models for Separation Logic

      • Callum Bannister, Peter Höfner
      Pages 263-279
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Keywords

About this book

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.

The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Editors and Affiliations

  • Université Laval, Québec, Canada

    Jules Desharnais

  • University of Canterbury, Christchurch, New Zealand

    Walter Guttmann

  • Open Universiteit, Heerlen, The Netherlands

    Stef Joosten

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation