MOSCATO, UGO EMANUELE
MOSCATO, UGO EMANUELE
DIPARTIMENTO DI STATISTICA E METODI QUANTITATIVI
Calculemus? Da Leibniz all'intelligenza artificiale
2021 Moscato, U
Visual Basic for Applications con Microsoft Excel
2016 Moscato, U; Minella, M
Informatica Generale
2014 Moscato, U
Teoria della dimostrazione intuizionista e dimostrazione automatica
2011 Moscato, U
Riflessioni sulla prova informatica
2010 Grillo, A; Moscato, U
Optimization techniques for intuitionistic propositional logic and their implementation
2008 Avellone, A; Fiorino, G; Moscato, U
Improvements to the tableau prover PITP
2007 Avellone, A; Fiorino, G; Moscato, U
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
ESBC: an application for computing stabilization bounds
2005 Avellone, A; Ferrari, M; Fiorentini, C; 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 space efficient implementation of a tableau calculus for a logic with a constructive negation
2004 Avellone, A; Fiorentini, C; Fiorino, G; Moscato, U
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
2002 Avellone, A; Fiorino, G; Moscato, U
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2002 Avellone, A; Fiorino, G; Moscato, U
How to avoid the formal verification of a theorem prover
2001 Avellone, A; Benini, M; Moscato, U
Tactics for translation of tableau in natural deduction
1999 Avellone, A; Benini, M; Moscato, U
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic
1998 Avellone, A; Ferrari, M; Miglioli, P; Moscato, U
A tableau calculus for Dummett predicate logic
1996 Avellone, A; Ferrari, M; Miglioli, P; Moscato, U