Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 60
Titolo Data di pubblicazione Autori Tipo File Abstract
On maximal intermediate predicate constructive logics 1996 C. Fiorentini + Article (author) -
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications 1999 C. Fiorentini + Article (author) -
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete 2000 C. Fiorentini Article (author) -
Kripke completeness for intermediate logics 2000 C. Fiorentini Doctoral Thesis -
A formal framework for synthesis and verification of logic programs 2001 C. Fiorentini + Book Part (author) -
Extracting information from intermediate semiconstructive HA-systems - extended abstract 2001 C. Fiorentini + Article (author) -
Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics 2001 C. Fiorentini Article (author) -
Tableau calculi for the logics of finite k-ary trees 2002 C. Fiorentini + Book Part (author) -
On the complexity of disjunction and explicit definability properties in some intermediate logics 2002 C. Fiorentini + Book Part (author) -
Extracting exact time bounds from logical proofs 2002 C. FiorentiniM. Ornaghi + Book Part (author) -
A proof-theoretical analysis of semiconstructive intermediate theories 2003 C. Fiorentini + Article (author) -
Combining word problems through rewriting in categories with products 2003 C. FiorentiniS. Ghilardi Article (author) -
A space efficient implementation of a tableau calculus for a logic with a constructive negation 2004 C. Fiorentini + Book Part (author) -
A secondary semantics for second order intuitionistic propositional logic 2004 C. Fiorentini + Article (author) -
On the complexity of the disjunction property in intuitionistic and modal logics 2005 C. Fiorentini + Article (author) -
Snapshots generation via constructive logic 2005 M. OrnaghiC. FiorentiniA. Momigliano Conference Object -
A constructive object oriented modeling language for information systems 2006 M. OrnaghiC. FiorentiniA. Momigliano + Article (author) -
ESBC : an application for computing stabilization bounds 2006 C. Fiorentini + Article (author) -
Answer Set Semantics vs. Information Term Semantics 2007 C. FiorentiniM. Ornaghi Conference Object -
A constructive semantics for ALC 2007 C. Fiorentini + Book Part (author) -
Mostrati risultati da 1 a 20 di 60
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