Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Relational and Algebraic Methods in Computer Science

18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Uli Fahrenberg

    1. Laboratoire d’informatique (LIX), École Polytechnique, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Jipsen

    1. Faculty of Mathematics, Chapman University, Orange, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Winter

    1. Department of Computer Science, Brock University, St. Catharines, Canada

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

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

Included in the following conference series:

Conference proceedings info: RAMiCS 2020.

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

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests

    • Natanael Alpay, Peter Jipsen
    Pages 1-14

  3. A Relation-Algebraic Treatment of the Dedekind Recursion Theorem

    • Rudolf Berghammer
    Pages 15-30

  4. Hardness of Network Satisfaction for Relation Algebras with Normal Representations

    • Manuel Bodirsky, Simon Knäuer
    Pages 31-46

  5. The \(\theta \)-Join as a Join with \(\theta \)

    • Jules Desharnais, Bernhard Möller
    Pages 47-64

  6. Bisimilarity of Diagrams

    • Jérémy Dubut
    Pages 65-81

  7. Generating Posets Beyond N

    • Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
    Pages 82-99

  8. Automated Algebraic Reasoning for Collections and Local Variables with Lenses

    • Simon Foster, James Baxter
    Pages 100-116

  9. Weakening Relation Algebras and FL\(^2\)-algebras

    • Nikolaos Galatos, Peter Jipsen
    Pages 117-133

  10. Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras

    • Walter Guttmann
    Pages 134-151

  11. A Hierarchy of Algebras for Boolean Subsets

    • Walter Guttmann, Bernhard Möller
    Pages 152-168

  12. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    • Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
    Pages 169-186

  13. Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory

    • Yoshihiro Maruyama
    Pages 187-203

  14. Expressive Power and Succinctness of the Positive Calculus of Relations

    • Yoshiki Nakamura
    Pages 204-220

  15. Stone Dualities from Opfibrations

    • Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
    Pages 221-236

  16. Preorders, Partial Semigroups, and Quantales

    • Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa
    Pages 237-252

  17. Counting and Computing Join-Endomorphisms in Lattices

    • Santiago Quintero, Sergio Ramirez, Camilo Rueda, Frank Valencia
    Pages 253-269

  18. A Unary Semigroup Trace Algebra

    • Pedro Ribeiro
    Pages 270-285

  19. The Involutive Quantaloid of Completely Distributive Lattices

    • Luigi Santocanale
    Pages 286-301

  20. Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

    • Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
    Pages 302-317
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Keywords

About this book

This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic.

The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

Editors and Affiliations

  • Laboratoire d’informatique (LIX), École Polytechnique, Palaiseau, France

    Uli Fahrenberg

  • Faculty of Mathematics, Chapman University, Orange, USA

    Peter Jipsen

  • Department of Computer Science, Brock University, St. Catharines, Canada

    Michael Winter

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation