Skip to main content
  • Conference proceedings
  • © 2020

Relational and Algebraic Methods in Computer Science

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

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)

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

Conference proceedings info: RAMiCS 2020.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-43520-2
  • 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 (20 papers)

  1. Front Matter

    Pages i-xviii
  2. The $$\theta $$ -Join as a Join with $$\theta $$

    • Jules Desharnais, Bernhard Möller
    Pages 47-64
  3. Bisimilarity of Diagrams

    • Jérémy Dubut
    Pages 65-81
  4. Generating Posets Beyond N

    • Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
    Pages 82-99
  5. Weakening Relation Algebras and FL $$^2$$ -algebras

    • Nikolaos Galatos, Peter Jipsen
    Pages 117-133
  6. A Hierarchy of Algebras for Boolean Subsets

    • Walter Guttmann, Bernhard Möller
    Pages 152-168
  7. 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
  8. Stone Dualities from Opfibrations

    • Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
    Pages 221-236
  9. Preorders, Partial Semigroups, and Quantales

    • Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa
    Pages 237-252
  10. Counting and Computing Join-Endomorphisms in Lattices

    • Santiago Quintero, Sergio Ramirez, Camilo Rueda, Frank Valencia
    Pages 253-269
  11. A Unary Semigroup Trace Algebra

    • Pedro Ribeiro
    Pages 270-285
  12. Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

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

Other Volumes

  1. Relational and Algebraic Methods in Computer Science

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

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.

Keywords

  • artificial intelligence
  • boolean algebra
  • boolean functions
  • computer programming
  • computer systems
  • computer vision
  • databases
  • embedded systems
  • formal logic
  • fuzzy sets
  • mathematics
  • matrix algebra
  • programming languages
  • semantics
  • software design
  • software engineering

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

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-43520-2
  • 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)