Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011)

DOI10.1093/LOGCOM/EXT069zbMATH Open1329.00220OpenAlexW1997625548MaRDI QIDQ3458884

Author name not available (Why is that?)

Publication date: 28 December 2015

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext069

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Special issue: Revised and selected papers based on the presentations at the 26th Italian conference on computational logic (Convegno Italiano die Logica Computazionale, CILC 2011), Chieti-Pescara, Italy, August 30 -- September 2, 2011 👍 👎
• 25 Years of Applications of Logic Programming in Italy 👍 👎
• Preface 👍 👎
• Preface 👍 👎
• Preface 👍 👎
• Preface 👍 👎
• Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) 👍 👎
• Preface 👍 👎

This page was built for publication: Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3458884)