Vol-2710
urn:nbn:de:0074-2710-9




CILC 2020
Proceedings of CILC 2020


Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020

Rende, Italy, October 13-15, 2020.


Edited by

Francesco Calimeri *
Simona Perri *
Ester Zumpano **

* University of Calabria, Department of Mathematics and Computer Science, 87036 Rende, Italy
** University of Calabria, Department of Computer, Modelling, Electronics and Systems Engineering, 87036 Rende, Italy





Table of Contents

Abstract of Invited Talks

Papers

Non-original papers presented to CILC 2020:


2020-10-23: submitted by Francesco Calimeri, metadata incl. bibliographic data published under Creative Commons CC0
2020-10-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|