Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings
Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Informasi Umum
Kode
24.21.1453
Klasifikasi
005.13 - Programming language
Jenis
Buku - Elektronik (E-Book)
Subjek
Programming Language
No. Rak
Dilihat
135 kali
Informasi Lainnya
Abstraksi
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023.
The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Nature Switzerland |
| Kota | Switzerland |
| Tahun | 2023 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 1.000,00 |
| Jenis | Non-Sirkulasi |
