Skip to main content
  • Conference proceedings
  • © 2015

Relational and Algebraic Methods in Computer Science

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

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)

Conference series link(s): RAMiCS: International Conference on Relational and Algebraic Methods in Computer Science

Conference proceedings info: RAMICS 2015.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-24704-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

    Pages I-X
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. A Quest for Kleene Algebra in 2 Dimensions

      • Gheorghe Stefanescu
      Pages 3-26
    3. Towards a Probabilistic Interpretation of Game Logic

      • Ernst-Erich Doberkat
      Pages 43-47
  3. Theoretical Foundations

    1. Front Matter

      Pages 49-49
    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. Generalised N-ary Relations and Allegories

      • Bartosz Zieliński
      Pages 136-150
  4. Reasoning about Computations and Programs

    1. Front Matter

      Pages 169-169
    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. Type Checking by Domain Analysis in Ampersand

      • Stef M. M. Joosten, Sebastiaan J. C. Joosten
      Pages 225-240
    5. Investigating and Computing Bipartitions with Algebraic Means

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

Other Volumes

  1. Relational and Algebraic Methods in Computer Science

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

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.

Keywords

  • Algebraic language theory
  • Automata theory
  • Database design and models
  • Formal languages
  • Logic and verification
  • Combinatorial optimization
  • Database theory
  • Discrete mathematics
  • Formal software verification
  • Kleene algebra
  • Modal logics
  • Optimization algorithms
  • Regular expressions
  • Relation algebra
  • Relational database model
  • Rough sets
  • Software fault
  • Symbolic and algebraic manipulation
  • Temporal logics
  • Type checking

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

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-24704-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)