Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018

Paolo Felli, Marco Montali, editors, Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. Volume 2214 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Conference: cilc2018

Abstract

Abstract is missing.

Table of Contents