FIORINO, GUIDO GIUSEPPE
FIORINO, GUIDO GIUSEPPE
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Efficient learning with equivalence queries of conjunctions of modulo functions
1995 Bertoni, A; Cesa Bianchi, N; Fiorino, G
An O(n log n)-SPACE decision procedure for the propositional Dummett Logic
2001 Fiorino, G
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2002 Avellone, A; Fiorino, G; Moscato, U
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2002 Avellone, A; Fiorino, G; Moscato, U
Space-efficient decision procedures for three interpolable propositional intermediate logics
2002 Fiorino, G
Tableau calculi for the logics of finite k-ary trees
2002 Ferrari, M; Fiorentini, C; Fiorino, G
On the complexity of disjunction and explicit definability properties in some intermediate logics
2002 Ferrari, M; Fiorentini, C; Fiorino, G
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic
2003 Avellone, A; Fiorino, G; Moscato, U
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2004 Avellone, A; Fiorino, G; Moscato, U
A secondary semantics for second order intuitionistic propositional logic
2004 Ferrari, M; Fiorentini, C; Fiorino, G
A space efficient implementation of a tableau calculus for a logic with a constructive negation
2004 Avellone, A; Fiorentini, C; Fiorino, G; Moscato, U
ESBC: an application for computing stabilization bounds
2005 Avellone, A; Ferrari, M; Fiorentini, C; Fiorino, G; Moscato, U
On the complexity of the disjunction property in intuitionistic and modal logics
2005 Ferrari, M; Fiorentini, C; Fiorino, G
A tableau decision procedure for propositional intuitionistic logic
2006 Avellone, A; Fiorino, G; Moscato, U
ESBC: an application for computing stabilization bouns
2006 Avellone, A; Ferrari, M; Fiorentini, C; Fiorino, G; Moscato, U
A constructive semantics for ALC
2007 Bozzato, L; Ferrari, M; Fiorentini, C; Fiorino, G
Improvements to the tableau prover PITP
2007 Avellone, A; Fiorino, G; Moscato, U
Optimization techniques for intuitionistic propositional logic and their implementation
2008 Avellone, A; Fiorino, G; Moscato, U
Taming Implications in Dummett Logic
2009 Fiorino, G
Towards the use of simplification rules in intuitionistic tableaux
2009 Ferrari, M; Fiorentini, C; Fiorino, G