Concepedia

Camillo Fiorentini

CF

Statistics

Publications

6

Citations

92

H-Index

6

Active since

2003

Affiliations

University of Milan(Current)

University of Milano-Bicocca

University of Insubria

Camillo Fiorentini is an author at University of Milan specializing in computer science, logic, and mathematics.

Publications per year

2003–2015

6

Publications

6

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino · Journal of Automated Reasoning · 2012 · 29 citations · Full text

Humanities, Computer Science, Mathematics +10

Combining word problems through rewriting in categories with products

Camillo Fiorentini, Silvio Ghilardi · Theoretical Computer Science · 2003 · 16 citations · Full text

Natural Sciences, Mathematics, Combinatorics +7

A constructive semantics for ALC

Loris Bozzato, Mauro Ferrari, Camillo Fiorentini et al. · BOA (University of Milano-Bicocca) · 2007 · 13 citations · Full text

Computing, Computer Science, Mathematics +17

An Evaluation-Driven Decision Procedure for G3i

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino · ACM Transactions on Computational Logic · 2015 · 12 citations

Computing, Computer Science, Algorithms +10

Simplification Rules for Intuitionistic Propositional Tableaux

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino · ACM Transactions on Computational Logic · 2012 · 11 citations · Full text

Computing, Computer Science, Mathematics +16

1–5 of 6