De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Relational and Algebraic Methods in Computer Science

Bag om Relational and Algebraic Methods in Computer Science

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783031280825
  • Indbinding:
  • Paperback
  • Sideantal:
  • 312
  • Udgivet:
  • 8. marts 2023
  • Udgave:
  • 23001
  • Størrelse:
  • 155x17x235 mm.
  • Vægt:
  • 476 g.
  • 8-11 hverdage.
  • 17. januar 2025
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Relational and Algebraic Methods in Computer Science

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.

Brugerbedømmelser af Relational and Algebraic Methods in Computer Science