Relational and Algebraic Methods in Computer Science
20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings
Roland Glück, Luigi Santocanale, Michael Winter
Informasi Umum
Kode
24.21.1633
Klasifikasi
004 - Data processing, Computer science
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Science
No. Rak
Tel-U Gedung Manterawu Lantai 5 : Rak 1
Tel-U Purwokerto : Rak 1
Dilihat
69 kali
Informasi Lainnya
Abstraksi
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.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Roland Glück, Luigi Santocanale, Michael Winter |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Cham |
| Kota | New York |
| Tahun | 2023 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
