The CILC 2017 proceedings are freely available as http://ceur-ws.org/Vol-1949/
This is a joint issue of Italian Conference on Theoretical Computer Science and Italian Conference on Computational Logic
The CILC 2017 proceedings are freely available as http://ceur-ws.org/Vol-1949/
This is a joint issue of Italian Conference on Theoretical Computer Science and Italian Conference on Computational Logic