Proceedings of the 31st Italian Conference on Computational Logic (CILC 2016), Milano, Italy, June 20-22, 2016.Edited by: Camillo Fiorentini, Alberto MomiglianoSubmitted by: Camillo FiorentiniPublished on CEUR-WS: 18-Jul-2016ONLINE: http://ceur-ws.org/Vol-1645/URN: urn:nbn:de:0074-1645-1ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-1645.zip
Proceedings of the 31st Italian Conference on Computational Logic (CILC 2016), Milano, Italy, June 20-22, 2016.
Edited by: Camillo Fiorentini, Alberto Momigliano
Submitted by: Camillo Fiorentini
Published on CEUR-WS: 18-Jul-2016
ONLINE: http://ceur-ws.org/Vol-1645/
URN: urn:nbn:de:0074-1645-1
ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-1645.zip