Skip to main content
SpringerLink
Log in
Book cover

Relational and Algebraic Methods in Computer Science

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Wolfram Kahl

    1. McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Winter

    1. Brock University, St. Catharines, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José Oliveira

    1. Universidade do Minho, Braga, Portugal

    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 9348)

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

Included in the following conference series:

Conference proceedings info: RAMICS 2015.

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 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 (23 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Quest for Kleene Algebra in 2 Dimensions

      • Gheorghe Stefanescu
      Pages 3-26

    3. Connections between Relation Algebras and Cylindric Algebras

      • Ian Hodkinson
      Pages 27-42

    4. Towards a Probabilistic Interpretation of Game Logic

      • Ernst-Erich Doberkat
      Pages 43-47

  3. Theoretical Foundations

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Completeness and Incompleteness in Nominal Kleene Algebra

      • Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
      Pages 51-66

    3. Closure, Properties and Closure Properties of Multirelations

      • Rudolf Berghammer, Walter Guttmann
      Pages 67-83

    4. Relational Formalisations of Compositions and Liftings of Multirelations

      • Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
      Pages 84-100

    5. Relations among Matrices over a Semiring

      • Dylan Killingbeck, Milene Santos Teixeira, Michael Winter
      Pages 101-118

    6. Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective

      • Fredrik Dahlqvist, David Pym
      Pages 119-135

    7. Generalised N-ary Relations and Allegories

      • Bartosz ZieliÅ„ski
      Pages 136-150

    8. Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets

      • Musa Al-hassy, Wolfram Kahl
      Pages 151-168

  4. Reasoning about Computations and Programs

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. Metaphorisms in Programming

      • José N. Oliveira
      Pages 171-190

    3. Relational Mathematics for Relative Correctness

      • Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
      Pages 191-208

    4. Encoding and Decoding in Refinement Algebra

      • Kim Solin
      Pages 209-224

    5. Type Checking by Domain Analysis in Ampersand

      • Stef M. M. Joosten, Sebastiaan J. C. Joosten
      Pages 225-240

    6. Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

      • Roland Glück, Florian Benedikt Krebs
      Pages 241-256

    7. Investigating and Computing Bipartitions with Algebraic Means

      • Rudolf Berghammer, Insa Stucke, Michael Winter
      Pages 257-274
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Keywords

About this book

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.

The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.

Editors and Affiliations

  • McMaster University, Hamilton, Canada

    Wolfram Kahl

  • Brock University, St. Catharines, Canada

    Michael Winter

  • Universidade do Minho, Braga, Portugal

    José Oliveira

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation