Follow
Alessandro Avellone
Alessandro Avellone
Verified email at unimib.it
Title
Cited by
Cited by
Year
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
A Avellone, M Ferrari, P Miglioli
Logic Journal of IGPL 7 (4), 447-480, 1999
631999
Duplication-free tableau calculi together with cut-free and contraction free sequent calculi for the interpolable propositional intermediate logics
A Avellone, M Ferrari, P Miglioli
Logic J. of the IGPL 7 (4), 447-480, 1999
221999
Synthesis of programs in abstract data types
A Avellone, M Ferrari, P Miglioli
Logic-Based Program Synthesis and Transformation: 8th International Workshop …, 1999
191999
Analysis of algorithms for the recognition of rational and context-free trace languages
A Avellone, M Goldwurm
RAIRO-Theoretical Informatics and Applications 32 (4-6), 141-152, 1998
191998
Optimization techniques for propositional intuitionistic logic and their implementation
A Avellone, G Fiorino, U Moscato
Theoretical Computer Science 409 (1), 41-58, 2008
182008
Generalized tableau systems for intermediate propositional logics
A Avellone, U Moscato, P Miglioli, M Ornaghi
Automated Reasoning with Analytic Tableaux and Related Methods …, 1997
181997
A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic
A Avellone, G Fiorino, U Moscato
Collegium Logicum, Kurt Goedel Society, 17-33, 2004
102004
On maximal intermediate predicate constructive logics
A Avellone, C Fiorentini, P Mantovani, P Miglioli
Studia Logica 57, 373-408, 1996
91996
Almost duplication-free tableau calculi for prepositional lax logics
A Avellone, M Ferrari
Theorem Proving with Analytic Tableaux and Related Methods: 5th …, 1996
71996
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tātonnement model
I Foroni, A Avellone, A Panchuk
Chaos, Solitons & Fractals 79, 105-115, 2015
62015
A tableau calculus for Dummett predicate logic
A Avellone, M Ferrari, P Miglioli, U Moscato
Advances in Contemporary Logic and Computer Science, Contemporary …, 1999
61999
Complexity reduction and approximation of multidomain systems of partially ordered data
A Arcagni, A Avellone, M Fattore
Computational Statistics & Data Analysis 173, 107520, 2022
52022
A formal framework for synthesis and verification of logic programs
KK Lau, A Avellone, M Ferrari, C Fiorentini
Logic Based Program Synthesis and Transformation: 10th International …, 2001
52001
A space efficient implementation of a tableau calculus for a logic with a constructive negation
A Avellone, C Fiorentini, G Fiorino, U Moscato
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
42004
A semantical analysis of focusing and contraction in intuitionistic logic
A Avellone, C Fiorentini, A Momigliano
Fundamenta Informaticae 140 (3-4), 247-262, 2015
32015
A tableau decision procedure for propositional intuitionistic logic
A Avellone, G Fiorino, U Moscato
6th International Workshop on the Implementation of Logics, 64, 2006
32006
Esbc: an application for computing stabilization bounds
A Avellone, M Ferrari, C Fiorentini, G Fiorino, U Moscato
Electronic Notes in Theoretical Computer Science 153 (1), 23-33, 2006
32006
How to avoid the formal verification of a theorem prover
A Avellone, M Benini, U Moscato
Logic journal of IGPL 9 (1), 1-25, 2001
32001
POSetR: A new computationally efficient R package for partially ordered data
A Alberto, A Avellone, M Fattore
Book of short papers-SIS 2021, 2021
22021
An implementation of a O (n log n)-SPACE decision procedure for propositional intuitionistic logic
A Avellone, G Fiorino, U Moscato
3rd International Workshop on the Implementation of Logics, 2002
22002
The system can't perform the operation now. Try again later.
Articles 1–20