Skip to main content
SpringerLink
Log in
Book cover

Relational and Algebraic Methods in Computer Science

16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Peter Höfner

    1. Data61, CSIRO, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Damien Pous

    1. CNRS, Lyon, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Georg Struth

    1. University of Sheffield, Sheffield, United Kingdom

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

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

Included in the following conference series:

Conference proceedings info: RAMICS 2017.

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

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Algebra for Quantitative Information Flow

      • A. K. McIver, C. C. Morgan, T. Rabehaja
      Pages 3-23

    3. Dual Space of a Lattice as the Completion of a Pervin Space

      • Jean-Éric Pin
      Pages 24-40

  3. Contributed Papers

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Relations as Images

      • Mathieu Alain, Jules Desharnais
      Pages 43-59

    3. Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces

      • Rudolf Berghammer
      Pages 60-76

    4. Varieties of Cubical Sets

      • Ulrik Buchholtz, Edward Morehouse
      Pages 77-92

    5. Non-associative Kleene Algebra and Temporal Logics

      • Jules Desharnais, Bernhard Möller
      Pages 93-108

    6. Algebraic Investigation of Connected Components

      • Roland Glück
      Pages 109-126

    7. Stone Relation Algebras

      • Walter Guttmann
      Pages 127-143

    8. Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras

      • Peter Jipsen
      Pages 144-158

    9. Parsing and Printing of and with Triples

      • Sebastiaan J. C. Joosten
      Pages 159-176

    10. Software Development in Relation Algebra with Ampersand

      • Stef Joosten
      Pages 177-192

    11. Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras

      • Wolfram Kahl
      Pages 193-208

    12. Aggregation of Votes with Multiple Positions on Each Issue

      • Lefteris Kirousis, Phokion G. Kolaitis, John Livieratos
      Pages 209-225

    13. Complete Solution of an Optimization Problem in Tropical Semifield

      • Nikolai Krivulin
      Pages 226-241

    14. Concurrency-Preserving Minimal Process Representation

      • Adrián Puerto
      Pages 242-257

    15. Embeddability into Relational Lattices Is Undecidable

      • Luigi Santocanale
      Pages 258-273

    16. Tower Induction and Up-to Techniques for CCS with Fixed Points

      • Steven Schäfer, Gert Smolka
      Pages 274-289
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Keywords

About this book

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.

The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

 

Editors and Affiliations

  • Data61, CSIRO, Sydney, Australia

    Peter Höfner

  • CNRS, Lyon, France

    Damien Pous

  • University of Sheffield, Sheffield, United Kingdom

    Georg Struth

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation