Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Conference: cilc2023
@proceedings{cilc-2023,
title = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023},
year = {2023},
url = {https://nbn-resolving.org/urn:nbn:de:0074-3428-4},
researchr = {https://researchr.org/publication/cilc-2023},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023},
conference = {cilc},
editor = {Agostino Dovier and Andrea Formisano 0001},
volume = {3428},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}