Concepedia

Mauro Ferrari

MF

Statistics

Publications

7

Citations

110

H-Index

7

Active since

1993

Affiliations

University of Milan(Current)

University of Milano-Bicocca

University of Insubria

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

Publications per year

1993–2015

7

Publications

7

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

Counting the maximal intermediate constructive logics

Mauro Ferrari, Pierangelo Miglioli · Journal of Symbolic Logic · 1993 · 21 citations

Humanities, Computer Science, Mathematics +10

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

A method to single out maximal propositional logics with the disjunction property I

Mauro Ferrari, Pierangelo Miglioli · Annals of Pure and Applied Logic · 1995 · 13 citations

Humanities, Computer Science, Mathematics +12

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

1–5 of 7