Concepedia

Alessandro Avellone

AA

Statistics

Publications

2

Citations

70

H-Index

2

Active since

1999

Affiliations

University of Milan(Current)

Alessandro Avellone is an author at University of Milan specializing in humanities, mathematics, and logic.

ORCID

Publications per year

1999–2008

2

Publications

2

Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics

Alessandro Avellone · Logic Journal of IGPL · 1999 · 57 citations · Full text

, , +9

Optimization techniques for propositional intuitionistic logic and their implementation

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

, , +11

1–2 of 2