Vol-1645
urn:nbn:de:0074-1645-1




CILC 2016
Italian Conference on Computational Logic


Proceedings of the 31st Italian Conference on Computational Logic

Milano, Italy, June 20-22, 2016.


Edited by

Camillo Fiorentini*
Alberto Momigliano*

* Dipartimento di Informatica, Università degli Studi di Milano, Via Comelico 39, 20135 Milano, Italy




Table of Contents

Abstracts of invited talks

Papers


2016-07-16: submitted by Camillo Fiorentini, metadata incl. bibliographic data published under Creative Commons CC0
2016-07-18: published on CEUR-WS.org |valid HTML5|