Skip to main content
Springer Nature Link
Log in

Relational and Algebraic Methods in Computer Science

20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Roland Glück

    1. Deutsches Zentrum für Luft- und Raumfahrt, Augsburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luigi Santocanale

    1. Aix-Marseille University, Marseille, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Winter

    1. 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 13896)

Included in the following conference series:

Conference proceedings info: RAMiCS 2023.

  • 5919 Accesses

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 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3–6, 2023.

The 17 papers presented in this book were carefully reviewed and selected from 26 submissions.

They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.

 

Similar content being viewed by others

Keywords

Table of contents (17 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components

    • Stefano Aguzzoli, Matteo Bianchi
    Pages 1-16

  3. Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture

    • Jeremy F. Alm, David Andrews, Michael Levet
    Pages 17-33

  4. A General Method for Representing Sets of Relations by Vectors

    • Rudolf Berghammer, Michael Winter
    Pages 34-51

  5. Contextuality in Distributed Systems

    • Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
    Pages 52-68

  6. The Structure of Locally Integral Involutive Po-monoids and Semirings

    • José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
    Pages 69-86

  7. Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients

    • Roland Glück
    Pages 87-104

  8. Dependences Between Domain Constructions in Heterogeneous Relation Algebras

    • Walter Guttmann
    Pages 105-121

  9. Normal Forms for Elements of the \({}^*\)-continuous Kleene Algebras \(K\mathop {\otimes _\mathcal{R}}C_2'\)

    • Mark Hopkins, Hans Leiß
    Pages 122-139

  10. Representable and Diagonally Representable Weakening Relation Algebras

    • Peter Jipsen, Jaš Šemrl
    Pages 140-157

  11. Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

    • Tobias Kappé
    Pages 158-175Open Access

  12. What Else is Undecidable About Loops?

    • Laura Kovács, Anton Varonka
    Pages 176-193

  13. Implication Algebras and Implication Semigroups of Binary Relations

    • Andrew Lewis-Smith, Jaš Šemrl
    Pages 194-207

  14. On the Complexity of Kleene Algebra with Domain

    • Igor Sedlár
    Pages 208-223

  15. Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements

    • Arman Shamsgovara
    Pages 224-240

  16. Duoidally Enriched Freyd Categories

    • Chris Heunen, Jesse Sigal
    Pages 241-257

  17. Towards a Theory of Conversion Relations for Prefixed Units of Measure

    • Baltasar Trancón y Widemann, Markus Lepper
    Pages 258-273

  18. Relational Algebraic Approach to the Real Numbers the Additive Group

    • Michael Winter
    Pages 274-292

  19. Back Matter

    Pages 293-293
    Download chapter PDF
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Editors and Affiliations

  • Deutsches Zentrum für Luft- und Raumfahrt, Augsburg, Germany

    Roland Glück

  • Aix-Marseille University, Marseille, France

    Luigi Santocanale

  • Brock University, St Catharines, Canada

    Michael Winter

Bibliographic Information

Publish with us

Policies and ethics

Back to top