Camillo Fiorentini

Camillo Fiorentini

Università degli Studi di Milano - Milano / Italy
Others
AD Scientific Index ID: 1754633
University of Milan
person_outline Camillo Fiorentini's MOST POPULAR ARTICLES
1-) fCube: An Efficient Prover for Intuitionistic Propositional LogicM Ferrari, C Fiorentini, G FiorinoLogic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010362010
2-) Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-modelsM Ferrari, C Fiorentini, G FiorinoJournal of automated reasoning 51, 129-149, 2013352013
3-) A constructive approach to testing model transformationsC Fiorentini, A Momigliano, M Ornaghi, I PoernomoTheory and Practice of Model Transformations: Third International Conference …, 2010352010
4-) Combining word problems through rewriting in categories with productsC Fiorentini, S GhilardiTheoretical Computer Science 294 (1-2), 103-149, 2003262003
5-) A constructive semantics for ALCL Bozzato, M Ferrari, C Fiorentini, G FiorinoProceedings of the 20th International workshop on description logics, DL\'07 …, 2007232007