FERRARI, MAURO

FERRARI, MAURO  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

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