Camillo Fiorentini
发表
Mauro Ferrari,
Camillo Fiorentini,
Alberto Momigliano,
2018,
Fundam. Informaticae.
Mario Ornaghi,
Camillo Fiorentini,
Alberto Momigliano,
2009,
LPNMR.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2010,
Journal of Automated Reasoning.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2012,
TOCL.
Mauro Ferrari,
Mario Ornaghi,
Camillo Fiorentini,
2005
.
Camillo Fiorentini,
Alberto Momigliano,
Alessandro Avellone,
2015,
Fundam. Informaticae.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2002,
LPAR.
Silvio Ghilardi,
Camillo Fiorentini,
S. Ghilardi,
2003,
Theor. Comput. Sci..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2014,
CILC.
Mauro Ferrari,
Mario Ornaghi,
Camillo Fiorentini,
2007,
LOPSTR.
Camillo Fiorentini,
Loris Bozzato,
2020,
Description Logics.
Camillo Fiorentini,
Camillo Fiorentini,
2001,
Reports Math. Log..
Mauro Ferrari,
Camillo Fiorentini,
Alessandro Avellone,
2000,
LOPSTR.
Mauro Ferrari,
Camillo Fiorentini,
Loris Bozzato,
2007,
Description Logics.
Camillo Fiorentini,
Camillo Fiorentini,
2015,
J. Log. Comput..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2015,
CILC.
Camillo Fiorentini,
Alberto Momigliano,
Alessandro Avellone,
2013,
CILC.
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2017,
TABLEAUX.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2013,
Journal of Automated Reasoning.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2004,
Math. Log. Q..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2005,
TOCL.
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2020,
ICTCS.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2010,
LPAR.
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2018,
ACM Trans. Comput. Log..
Camillo Fiorentini,
2000,
J. Symb. Log..
Alberto Pettorossi,
Camillo Fiorentini,
Alberto Momigliano,
2018,
Fundam. Informaticae.
Mario Ornaghi,
Camillo Fiorentini,
Alberto Momigliano,
2017,
ICTCS/CILC.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2018,
CILC.
Camillo Fiorentini,
Camillo Fiorentini,
2019,
IJCAI.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2019
.
Camillo Fiorentini,
Loris Bozzato,
2020,
CILC.
Pierangelo Miglioli,
Camillo Fiorentini,
1999,
Log. J. IGPL.
Pierangelo Miglioli,
Camillo Fiorentini,
Alessandro Avellone,
1996,
Stud Logica.
Mauro Ferrari,
Mario Ornaghi,
Camillo Fiorentini,
2001,
LOPSTR.
Rajeev Goré,
Camillo Fiorentini,
Stéphane Lengrand,
2019,
TABLEAUX.
Mauro Ferrari,
Mario Ornaghi,
Camillo Fiorentini,
2006,
Electron. Notes Theor. Comput. Sci..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2015,
ACM Trans. Comput. Log..
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2003,
Stud Logica.
Camillo Fiorentini,
Alessandro Avellone,
Guido Fiorino,
2004,
CSL.
Mario Ornaghi,
Camillo Fiorentini,
Alberto Momigliano,
2010,
ICMT@TOOLS.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2002,
TABLEAUX.
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2017,
Journal of Automated Reasoning.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2013,
TABLEAUX.
Mario Ornaghi,
Camillo Fiorentini,
Alberto Momigliano,
2009,
TYPES.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2017,
ICTCS/CILC.
Mauro Ferrari,
Pierangelo Miglioli,
Camillo Fiorentini,
2001,
Math. Struct. Comput. Sci..
Mauro Ferrari,
Camillo Fiorentini,
Alessandro Avellone,
2006,
Electron. Notes Theor. Comput. Sci..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2009
.
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2015,
TABLEAUX.
Mauro Ferrari,
Camillo Fiorentini,
Mauro Ferrari,
2020,
CILC.
Mauro Ferrari,
Camillo Fiorentini,
Loris Bozzato,
2010,
JELIA.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2009,
J. Appl. Non Class. Logics.
Camillo Fiorentini,
Mauro Ferrari,
Mauro Ferrari,
2021,
J. Log. Comput..
Camillo Fiorentini,
2021,
CADE.
Mario Ornaghi,
Camillo Fiorentini,
2007
.
Camillo Fiorentini,
Camillo Fiorentini,
2000
.
Camillo Fiorentini,
Guido Fiorino,
Mauro Ferrari,
2010
.
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete
Camillo Fiorentini,
2000,
Journal of Symbolic Logic.