IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
Tableau calculi for the logics of finite k-ary trees 1-gen-2002 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
On the complexity of disjunction and explicit definability properties in some intermediate logics 1-gen-2002 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications 1-gen-2009 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
fCube: An Efficient Prover for Intuitionistic Propositional Logic 1-gen-2010 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
BCDL: Basic Constructive Description Logic 1-gen-2010 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
A decidable constructive description logic 1-gen-2010 Bozzato, L.; Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Proof-search in Hilbert calculi 1-gen-2017 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Forward countermodel construction in modal Logic K 1-gen-2018 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Mostrati risultati da 1 a 8 di 8
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