IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 60
Titolo Data di pubblicazione Autori Tipo File Abstract
Model Validation through CooML Snapshot Generation 2008 C. FiorentiniM. Ornaghi Book Part (author) -
Snapshot generation in a constructive object-oriented modeling language 2008 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
Towards a type discipline for answer set programming 2009 C. FiorentiniA. MomiglianoM. Ornaghi Book Part (author) -
Applying ASP to UML model validation 2009 M. OrnaghiC. FiorentiniA. MomiglianoF. Pagano Book Part (author) -
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 2009 C. Fiorentini + Article (author) -
A constructive approach to testing model transformations 2010 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
A decidable constructive description logic 2010 C. Fiorentini + Book Part (author) -
fCube : an efficient prover for intuitionistic propositional logic 2010 C. Fiorentini + Book Part (author) -
BCDL : Basic Constructive Description Logic 2010 C. Fiorentini + Article (author) -
Simplification rules for intuitionistic propositional tableaux 2012 C. Fiorentini + Article (author) -
A terminating evaluation-driven variant of G3i 2013 C. Fiorentini + Book Part (author) -
Focusing on contraction 2013 C. FiorentiniA. Momigliano + Book Part (author) -
Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models 2013 C. Fiorentini + Article (author) -
JTabWb : a Java framework for implementing terminating sequent and tableau calculi 2014 C. Fiorentini + Book Part (author) -
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic 2015 C. Fiorentini + Book Part (author) -
Terminating sequent calculi for proving and refuting formulas in S4 2015 C. Fiorentini Article (author) -
An evaluation-driven decision procedure for G3i 2015 C. Fiorentini + Article (author) -
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 2015 C. FiorentiniA. Momigliano + Article (author) -
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 2015 C. Fiorentini + Book Part (author) -
Preface 2016 C. FiorentiniA. Momigliano Book Part (author) -
Mostrati risultati da 21 a 40 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