Sfoglia per Autore
ESBC: an application for computing stabilization bounds
2005-01-01 Avellone, A; Ferrari, Mauro; Fiorentini, C; Fiorino, G; Moscato, U.
A Constructive Modeling Language for Object Oriented Information Systems
2005-01-01 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
On the complexity of the disjunction property in intuitionistic and modal logics
2005-01-01 Ferrari, Mauro; Fiorentini, C; Fiorino, G.
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.
Dai fondamenti agli oggetti. Corso di programmazione Java. Terza Edizione
2008-01-01 Ferrari, Mauro
Snapshot Generation in a Constructive Object-oriented Modeling Language
2008-01-01 Ferrari, Mauro; Fiorentini, C; Momigliano, A; Ornaghi, M.
Building a domain ontology from glossaries: a general methodology
2008-01-01 Bozzato, Loris; Ferrari, Mauro; Trombetta, Alberto
Actions Over a Constructive Semantics for Description Logics
2009-01-01 Ferrari, Mauro; Bozzato, L.; Villa, P.
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications
2009-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A decidable constructive description logic
2010-01-01 Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
fCube: An Efficient Prover for Intuitionistic Propositional Logic
2010-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
BCDL: Basic Constructive Description Logic
2010-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Composition of Semantic Web Services in a Constructive Description Logic
2010-01-01 Bozzato, L; Ferrari, Mauro
Simplification Rules for Intuitionistic Propositional Tableaux
2012-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models
2013-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
A Terminating Evaluation-Driven Variant of G3i
2013-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
2014-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Dai fondamenti agli oggetti. Corso di programmazione Java. Quarta Edizione
2015-01-01 Pighizzini, Giovanni; Ferrari, Mauro
An evaluation-driven decision procedure for G3i
2015-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile