Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli. Computational Logic in Genova. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{MascardiDM08,
title = {Computational Logic in Genova},
author = {Viviana Mascardi and Giorgio Delzanno and Maurizio Martelli},
year = {2008},
url = {http://ceur-ws.org/Vol-487/paper7.pdf},
researchr = {https://researchr.org/publication/MascardiDM08},
cites = {0},
citedby = {0},
booktitle = {Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008},
editor = {Matteo Baldoni and Cristina Baroglio},
volume = {487},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}