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.

FIORINO, GUIDO

FIORINO, GUIDO  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A decidable constructive description logic 1-gen-2010 Bozzato, L.; 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
BCDL: Basic Constructive Description Logic 1-gen-2010 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
fCube: An Efficient Prover for Intuitionistic Propositional Logic 1-gen-2010 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Forward countermodel construction in modal Logic K 1-gen-2018 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
Proof-search in Hilbert calculi 1-gen-2017 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