Sfoglia per Autore  

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