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 Rivista  ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 7 di 7
Titolo Data di pubblicazione Autore(i) File
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 1-gen-2020 Fiorentini, Camillo; Ferrari, Mauro
An evaluation-driven decision procedure for G3i 1-gen-2015 Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Fuzzy time in linear temporal logic 1-gen-2014 Frigeri, A.; Pasquale, L.; Spoletini, Paola
On the complexity of the disjunction property in intuitionistic and modal logics 1-gen-2005 Ferrari, Mauro; Fiorentini, C; Fiorino, G.
Probabilistic Bisimulation as a Congruence 1-gen-2009 Lanotte, Ruggero; Tini, Simone
Simplification Rules for Intuitionistic Propositional Tableaux 1-gen-2012 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Time-aware Anonymization of Knowledge Graphs 1-gen-2023 Hoang, Anh-Tu; Carminati, Barbara; Ferrari, Elena
Mostrati risultati da 1 a 7 di 7
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