FERRARI, MAURO
FERRARI, MAURO
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
A Constructive Modeling Language for Object Oriented Information Systems
2005-01-01 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Constructive Modeling Language for Object Oriented Information Systems
2006-01-01 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A constructive semantics for ALC
2007-01-01 Bozzato, L; Ferrari, Mauro; Fiorentini, C; Fiorino, G.
A decidable constructive description logic
2010-01-01 Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A formal framework for synthesis and verification of logic programs
2001-01-01 Avellone, A; Ferrari, Mauro; Fiorentini, C.
A forward internal calculus for model generation in S4
2021-01-01 Fiorentini, C.; Ferrari, M.
A forward unprovability calculus for intuitionistic propositional logic
2017-01-01 Fiorentini, Camillo; Ferrari, Mauro
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.
1995-01-01 Ferrari, Mauro; Miglioli, P.
A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.
1995-01-01 Ferrari, Mauro; Miglioli, P.
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?
2020-01-01 Fiorentini, C.; Ferrari, M.
A New Approach to Clausification for Intuitionistic Propositional Logic
2023-01-01 Fiorentini, C.; Ferrari, M.
A proof-theoretical analysis of semiconstructive intermediate theories
2003-01-01 Ferrari, Mauro; Fiorentini, C.
A secondary semantics for second order intuitionistic propositional logic
2004-01-01 Ferrari, Mauro; Fiorentini, C; Fiorino, G.
A tableau calculus for Dummett predicate logic
1999-01-01 Avellone, A; Ferrari, Mauro; Miglioli, P; Moscato, U.
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications
2009-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A Terminating Evaluation-Driven Variant of G3i
2013-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property
2024-01-01 Fiorentini, Camillo; Ferrari, Mauro
Actions Over a Constructive Semantics for Description Logics
2009-01-01 Ferrari, Mauro; Bozzato, L.; Villa, P.
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics
1996-01-01 Avellone, A.; Ferrari, Mauro
An evaluation-driven decision procedure for G3i
2015-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido