Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)

被引：0
|
作者：
Dovier, Agostino [1 ]
Formisano, Andrea [1 ]
机构：
[1] Department of Mathematics, Computer Science, Physics University of Udine, Italy
来源：
CEUR Workshop Proceedings | 2023年 / 3428卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Proceedings of the 36th Italian Conference on Computational Logic (CILC 2021)
    Monica, Stefania
    Bergenti, Federico
    [J]. CEUR Workshop Proceedings, 2021, 3002
  • [2] Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022)
    Calegari, Roberta
    Ciatto, Giovanni
    Omicini, Andrea
    [J]. CEUR Workshop Proceedings, 2022, 3204
  • [3] Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014
    Giordano, Laura
    Gliozzi, Valentina
    Pettorossi, Alberto
    Pozzato, Gian Luca
    [J]. FUNDAMENTA INFORMATICAE, 2017, 150 (01) : V - VI
  • [4] Special issue for the 36th Italian Conference on Computational Logic (CILC 2021)
    Bergenti, Federico
    Monica, Stefania
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (04) : 709 - 711
  • [5] Special Issue on the 34th Italian Conference on Computational Logic: CILC 2019 Preface
    Casagrande, Alberto
    Omodeo, Eugenio G.
    Proietti, Maurizio
    [J]. FUNDAMENTA INFORMATICAE, 2021, 181 (01) : V - VI
  • [6] Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 Preface
    Fiorentini, Camillo
    Momigliano, Alberto
    Pettorossi, Alberto
    [J]. FUNDAMENTA INFORMATICAE, 2018, 161 (1-2) : V - VII
  • [7] Special Issue on the Italian Conference on Computational Logic: CILC 2011 Preface
    Fioravanti, Fabio
    Pettorossi, Alberto
    Rossi, Gianfranco
    [J]. FUNDAMENTA INFORMATICAE, 2013, 124 (04) : I - II
  • [8] Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015 Preface
    Maratea, Marco
    Mascardi, Viviana
    Ancona, Davide
    Pettorossi, Alberto
    [J]. FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : V - VI
  • [9] Special Issue on the Italian Conference on Computational Logic: CILC 2013 Preface
    Cantone, Domenico
    Asmundo, Marianna Nicolosi
    Pettorossi, Alberto
    [J]. FUNDAMENTA INFORMATICAE, 2015, 140 (3-4) : I - II
  • [10] Special Issue on the Italian Conference on Computational Logic: CILC 2009 Preface
    Gavanelli, Marco
    Riguzzi, Fabrizio
    Pettorossi, Alberto
    [J]. FUNDAMENTA INFORMATICAE, 2010, 105 (1-2) : I - II
12345