Theoretical Computer Science and General Issues

Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

Editors: Desharnais, Jules, Guttmann, Walter, Joosten, Stef (Eds.)

Free Preview

Buy this book

eBook 55,92 €
price for Spain (gross)
  • ISBN 978-3-030-02149-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 68,63 €
price for Spain (gross)
  • ISBN 978-3-030-02148-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018.

The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

Table of contents (22 chapters)

  • Finite Relation Algebras with Normal Representations

    Bodirsky, Manuel

    Pages 3-17

    Preview Buy Chapter 30,19 €
  • C-Dioids and $$\mu $$ -Continuous Chomsky-Algebras

    Leiß, Hans (et al.)

    Pages 21-36

    Preview Buy Chapter 30,19 €
  • Coequalizers and Tensor Products for Continuous Idempotent Semirings

    Hopkins, Mark (et al.)

    Pages 37-52

    Preview Buy Chapter 30,19 €
  • Distances, Norms and Error Propagation in Idempotent Semirings

    Glück, Roland

    Pages 53-69

    Preview Buy Chapter 30,19 €
  • T-Norm Based Operations in Arrow Categories

    Winter, Michael

    Pages 70-86

    Preview Buy Chapter 30,19 €

Buy this book

eBook 55,92 €
price for Spain (gross)
  • ISBN 978-3-030-02149-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 68,63 €
price for Spain (gross)
  • ISBN 978-3-030-02148-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Relational and Algebraic Methods in Computer Science
Book Subtitle
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Editors
  • Jules Desharnais
  • Walter Guttmann
  • Stef Joosten
Series Title
Theoretical Computer Science and General Issues
Series Volume
11194
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-02149-8
DOI
10.1007/978-3-030-02149-8
Softcover ISBN
978-3-030-02148-1
Edition Number
1
Number of Pages
XVI, 385
Number of Illustrations
30 b/w illustrations
Topics