Sfoglia per Autore
Counting the maximal intermediate constructive logics
1993-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 METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .1.
1995-01-01 Ferrari, Mauro; Miglioli, P.
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics
1996-01-01 Avellone, A.; Ferrari, Mauro
Cut-free tableau calculi for some intuitionistic modal logics
1997-01-01 Ferrari, Mauro
A tableau calculus for Dummett predicate logic
1999-01-01 Avellone, A; Ferrari, Mauro; Miglioli, P; Moscato, U.
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
1999-01-01 Avellone, A; Ferrari, Mauro; Miglioli, P.
Synthesis of programs in abstract data types
1999-01-01 Avellone, A.; Ferrari, Mauro; Miglioli, P.
Hypertableau and path-hypertableau calculi for some families of intermediate logics
2000-01-01 Ciabattoni, A.; Ferrari, Mauro
A formal framework for synthesis and verification of logic programs
2001-01-01 Avellone, A; Ferrari, Mauro; Fiorentini, C.
Extracting information from intermediate semiconstructive HA-systems
2001-01-01 Ferrari, Mauro; Fiorentini, C; Miglioli, P.
Hypersequent calculi for some intermediate logics with bounded Kripke models
2001-01-01 Ciabattoni, A; Ferrari, Mauro
Extracting exact time bounds from logical proofs
2002-01-01 Ferrari, Mauro; Fiorentini, Camillo; Ornaghi, M.
On the complexity of disjunction and explicit definability properties in some intermediate logics
2002-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Tableau calculi for the logics of finite k-ary trees
2002-01-01 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A proof-theoretical analysis of semiconstructive intermediate theories
2003-01-01 Ferrari, Mauro; Fiorentini, C.
Dai fondamenti agli oggetti. Corso di programmazione Java.
2003-01-01 Ferrari, Mauro; G., Pighizzini
On uniformly constructive and semiconstructive formal systems
2003-01-01 Ferrari, Mauro; Miglioli, P; Ornaghi, M.
A secondary semantics for second order intuitionistic propositional logic
2004-01-01 Ferrari, Mauro; Fiorentini, C; Fiorino, G.
ESBC: an application for computing stabilization bounds
2005-01-01 Avellone, A; Ferrari, Mauro; Fiorentini, C; Fiorino, G; Moscato, U.
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