Vol-2214
urn:nbn:de:0074-2214-7




CILC 2018
Italian Conference on Computational Logic


Proceedings of the 33rd Italian Conference on Computational Logic

Bolzano, Italy, September 20-22, 2018.


Edited by

Paolo Felli *
Marco Montali *

* Faculty of Computer Science, Free University of Bozen-Bolzano, 39100 Bolzano, Italy




Table of Contents

Keynote

Papers

CILC 2018 also featured presentations of the following papers, which appeared or have been submitted elsewhere:


2018-09-18: submitted by Paolo Felli, metadata incl. bibliographic data published under Creative Commons CC0
2018-09-19: published on CEUR-WS.org |valid HTML5|