Bicocca Open Archive

Logo unimib boa

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 42
Titolo Tipologia Data di pubblicazione Autori File
BCDL: Basic Constructive Description Logic 01 - Articolo su rivista 2010 FIORINO, GUIDO GIUSEPPE +
Towards the use of simplification rules in intuitionistic tableaux 02 - Intervento a convegno 2009 FIORINO, GUIDO GIUSEPPE +
Taming Implications in Dummett Logic 02 - Intervento a convegno 2009 FIORINO, GUIDO GIUSEPPE
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 01 - Articolo su rivista 2009 FIORINO, GUIDO GIUSEPPE +
Optimization techniques for intuitionistic propositional logic and their implementation 01 - Articolo su rivista 2008 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A constructive semantics for ALC 02 - Intervento a convegno 2007 FIORINO, GUIDO GIUSEPPE +
Improvements to the tableau prover PITP 02 - Intervento a convegno 2007 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
ESBC: an application for computing stabilization bouns 01 - Articolo su rivista 2006 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A tableau decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2006 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
ESBC: an application for computing stabilization bounds 02 - Intervento a convegno 2005 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
On the complexity of the disjunction property in intuitionistic and modal logics 01 - Articolo su rivista 2005 Fiorino, G +
A space efficient implementation of a tableau calculus for a logic with a constructive negation 02 - Intervento a convegno 2004 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE +
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 03 - Contributo in libro 2004 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A secondary semantics for second order intuitionistic propositional logic 01 - Articolo su rivista 2004 FIORINO, GUIDO GIUSEPPE +
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 02 - Intervento a convegno 2003 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
Tableau calculi for the logics of finite k-ary trees 02 - Intervento a convegno 2002 FIORINO, GUIDO GIUSEPPE +
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2002 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 02 - Intervento a convegno 2002 AVELLONE, ALESSANDROFIORINO, GUIDO GIUSEPPEMOSCATO, UGO EMANUELE
Space-efficient decision procedures for three interpolable propositional intermediate logics 01 - Articolo su rivista 2002 FIORINO, GUIDO GIUSEPPE
On the complexity of disjunction and explicit definability properties in some intermediate logics 02 - Intervento a convegno 2002 Fiorino, G +
Mostrati risultati da 21 a 40 di 42
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