Guido Fiorino
发表
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2010,
Journal of Automated Reasoning.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2012,
TOCL.
Guido Fiorino,
G. Fiorino,
2010,
IWIL@LPAR.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2002,
LPAR.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2014,
CILC.
Guido Fiorino,
G. Fiorino,
2012,
Journal of Automated Reasoning.
Mauro Ferrari,
Camillo Fiorentini,
Loris Bozzato,
2007,
Description Logics.
Guido Fiorino,
G. Fiorino,
2011,
IJCAI.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2015,
CILC.
Guido Fiorino,
G. Fiorino,
2001,
Journal of Automated Reasoning.
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.
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
Guido Fiorino,
G. Fiorino,
2010,
Inf. Sci..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2010,
LPAR.
Alessandro Avellone,
Guido Fiorino,
Ugo Moscato,
2008,
Theor. Comput. Sci..
Alessandro Avellone,
Guido Fiorino,
Ugo Moscato,
2007,
TABLEAUX.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2018,
CILC.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2019
.
Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus
Guido Fiorino,
2012
.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2015,
ACM Trans. Comput. Log..
Camillo Fiorentini,
Alessandro Avellone,
Guido Fiorino,
2004,
CSL.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2002,
TABLEAUX.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2013,
TABLEAUX.
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2017,
ICTCS/CILC.
Alberto Bertoni,
Nicolò Cesa-Bianchi,
Guido Fiorino,
1995,
Inf. Process. Lett..
Mauro Ferrari,
Camillo Fiorentini,
Alessandro Avellone,
2006,
Electron. Notes Theor. Comput. Sci..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2009
.
Mauro Ferrari,
Camillo Fiorentini,
Loris Bozzato,
2010,
JELIA.
Guido Fiorino,
G. Fiorino,
2002,
J. Log. Comput..
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
2009,
J. Appl. Non Class. Logics.
Guido Fiorino,
G. Fiorino,
2021,
Inf. Process. Lett..
Guido Fiorino,
G. Fiorino,
2021,
Log. J. IGPL.
Guido Fiorino,
G. Fiorino,
2021,
Journal of Automated Reasoning.
Camillo Fiorentini,
Guido Fiorino,
Mauro Ferrari,
2010
.
Alessandro Avellone,
Guido Fiorino,
Ugo Moscato,
2002
.
Alessandro Avellone,
Guido Fiorino,
Ugo Moscato,
2002
.