FERRARI, MAURO

FERRARI, MAURO  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

Mostra records
Risultati 1 - 20 di 52 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2006 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2005 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 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 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
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
BCDL: Basic Constructive Description Logic 1-gen-2010 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Building a domain ontology from glossaries: a general methodology 1-gen-2008 Ferrari, Mauro; Trombetta, Alberto; L., Bozzato
Building a domain ontology from glossaries: a general methodology 1-gen-2008 Bozzato, Loris; Ferrari, Mauro; Trombetta, Alberto
Composition of Semantic Web Services in a Constructive Description Logic 1-gen-2010 Bozzato, L; Ferrari, Mauro
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 1-gen-2013 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Counting the maximal intermediate constructive logics 1-gen-1993 Ferrari, Mauro; Miglioli, P.
Cut-free tableau calculi for some intuitionistic modal logics 1-gen-1997 Ferrari, Mauro