Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Relational and Algebraic Methods in Computer Science

19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Uli Fahrenberg

    1. École polytechnique, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mai Gehrke

    1. Université Côte d’Azur, Nice, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Luigi Santocanale

    1. Aix-Marseille University, Marseille, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. 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 13027)

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

Included in the following conference series:

Conference proceedings info: RAMiCS 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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

About this book

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. 

The 29 papers presented in this book were carefully reviewed and selected from 35 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. 

Similar content being viewed by others

Keywords

Table of contents (29 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components

    • Stefano Aguzzoli, Matteo Bianchi
    Pages 1-18

  3. Unary-Determined Distributive \(\ell \)-magmas and Bunched Implication Algebras

    • Natanael Alpay, Peter Jipsen, Melissa Sugimoto
    Pages 19-36

  4. Effect Algebras, Girard Quantales and Complementation in Separation Logic

    • Callum Bannister, Peter Höfner, Georg Struth
    Pages 37-53

  5. Relational Computation of Sets of Relations

    • Rudolf Berghammer
    Pages 54-71

  6. Experimental Investigation of Sufficient Criteria for Relations to Have Kernels

    • Rudolf Berghammer, Mitja Kulczynski
    Pages 72-89

  7. \(\ell r\)-Multisemigroups, Modal Quantales and the Origin of Locality

    • Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
    Pages 90-107

  8. Abstract Strategies and Coherence

    • Cameron Calk, Eric Goubault, Philippe Malbos
    Pages 108-125

  9. Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL

    • Willem Conradie, Valentin Goranko, Peter Jipsen
    Pages 126-143

  10. The Class of Representable Semilattice-Ordered Monoids Is Not a Variety

    • Amina Doumane
    Pages 144-158

  11. Accretive Computation of Global Transformations

    • Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
    Pages 159-175

  12. Some Modal and Temporal Translations of Generalized Basic Logic

    • Wesley Fussner, William Zuluaga Botero
    Pages 176-191

  13. Isolated Sublattices and Their Application to Counting Closure Operators

    • Roland Glück
    Pages 192-208

  14. Second-Order Properties of Undirected Graphs

    • Walter Guttmann
    Pages 209-224

  15. Relation-Algebraic Verification of Borůvka’s Minimum Spanning Tree Algorithm

    • Walter Guttmann, Nicolas Robinson-O’Brien
    Pages 225-240

  16. Deciding FO-definability of Regular Languages

    • Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
    Pages 241-257

  17. Relational Models for the Lambek Calculus with Intersection and Unit

    • Stepan L. Kuznetsov
    Pages 258-274

  18. Free Modal Riesz Spaces are Archimedean: A Syntactic Proof

    • Christophe Lucas, Matteo Mio
    Pages 275-291

  19. Polyadic Spaces and Profinite Monoids

    • Jérémie Marquès
    Pages 292-308

  20. Time Warps, from Algebra to Algorithms

    • Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
    Pages 309-324
Back to top

Other volumes

  1. Relational and Algebraic Methods in Computer Science

Editors and Affiliations

  • École polytechnique, Palaiseau, France

    Uli Fahrenberg

  • Université Côte d’Azur, Nice, France

    Mai Gehrke

  • Aix-Marseille University, Marseille, France

    Luigi Santocanale

  • Brock University, St Catharines, Canada

    Michael Winter

Bibliographic Information

  • Book Title: Relational and Algebraic Methods in Computer Science

  • Book Subtitle: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

  • Editors: Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-88701-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-88700-1Published: 13 October 2021

  • eBook ISBN: 978-3-030-88701-8Published: 22 October 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVII, 499

  • Number of Illustrations: 75 b/w illustrations, 54 illustrations in colour

  • Topics: Logic in AI, Mathematics of Computing, Theory of Computation, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation