FIORENTINI, CAMILLO

FIORENTINI, CAMILLO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A constructive object oriented modeling language for information systems 1-mar-2006 M. OrnaghiC. FiorentiniA. Momigliano + Article (author) -
A constructive semantics for ALC 1-gen-2007 C. Fiorentini + Book Part (author) -
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications 1-gen-1999 C. Fiorentini + Article (author) -
A formal framework for synthesis and verification of logic programs 1-gen-2001 C. Fiorentini + Book Part (author) -
A proof-theoretical analysis of semiconstructive intermediate theories 1-gen-2003 C. Fiorentini + Article (author) -
A secondary semantics for second order intuitionistic propositional logic 1-gen-2004 C. Fiorentini + Article (author) -
A space efficient implementation of a tableau calculus for a logic with a constructive negation 1-gen-2004 C. Fiorentini + Book Part (author) -
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 1-gen-2009 C. Fiorentini + Article (author) -
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete 1-gen-2000 C. Fiorentini Article (author) -
Answer Set Semantics vs. Information Term Semantics 1-gen-2007 C. FiorentiniM. Ornaghi Conference Object -
Applying ASP to UML model validation 1-gen-2009 M. OrnaghiC. FiorentiniA. MomiglianoF. Pagano Book Part (author) -
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic 1-gen-2019 Fiorentini, Camillo Book Part (author) -
BCDL : Basic Constructive Description Logic 1-apr-2010 C. Fiorentini + Article (author) -
Combining word problems through rewriting in categories with products 1-gen-2003 C. FiorentiniS. Ghilardi Article (author) -
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) 1-gen-2020 C. Fiorentini + Book Part (author) -
A constructive approach to testing model transformations 1-gen-2010 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models 1-ago-2013 C. Fiorentini + Article (author) -
A decidable constructive description logic 1-gen-2010 C. Fiorentini + Book Part (author) -
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 1-gen-2020 Fiorentini, CamilloFerrari, Mauro Article (author) -
Efficient SAT-based Proof Search in Intuitionistic Propositional Logic 1-gen-2021 Fiorentini Book Part (author) -