A
Alessandro Avellone
Researcher at University of Milan
Publications - 27
Citations - 187
Alessandro Avellone is an academic researcher from University of Milan. The author has contributed to research in topics: Intuitionistic logic & Propositional variable. The author has an hindex of 7, co-authored 23 publications receiving 180 citations. Previous affiliations of Alessandro Avellone include University of Milano-Bicocca.
Papers
More filters
Journal ArticleDOI
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Book ChapterDOI
Generalized Tableau Systems for Intemediate Propositional Logics
TL;DR: Some sufficient conditions from which, given a well formed formula H, the search for instances of an intermediate propositional logic L can be restricted to a suitable finite set of formulae related to H are studied.
Journal ArticleDOI
Optimization techniques for propositional intuitionistic logic and their implementation
TL;DR: PITP and some known theorem provers are compared using the formulas of ILTP benchmark library and it turns out that PITP is, at the moment, the propositional prover that solves most formulas of the library.
Journal ArticleDOI
Analysis of algorithms for the recognition of rational and context-free trace languages
TL;DR: Cet algorithme repose sur une technique de programmation dynamique qui peut aussi etre appliquee a the reconnaissance de langages libres de contexte de traces a la reconnaissance des langages rationnels de traces.
Book ChapterDOI
Synthesis of Programs in Abstract Data Types
TL;DR: A method for program synthesis from constructive proofs based on a particular proof strategy, which is called dischargeable set construction, that can be applied to a variety of theories formalizing ADT's and classes ofADT's is proposed.