Concepedia

Guido Fiorino

GF

Statistics

Publications

7

Citations

102

H-Index

7

Active since

2001

Affiliations

University of Milan(Current)

University of Milano-Bicocca

University of Insubria

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

ORCID

Publications per year

2001–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

, , +10

A constructive semantics for ALC

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

, , +17

An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

Guido Fiorino · Journal of Automated Reasoning · 2001 · 13 citations

, , +6

Optimization techniques for propositional intuitionistic logic and their implementation

Alessandro Avellone, Guido Fiorino, Ugo Moscato · Theoretical Computer Science · 2008 · 13 citations · Full text

, , +11

An Evaluation-Driven Decision Procedure for G3i

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

, , +10

1–5 of 7