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
591999
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
211999
Synthesis of programs in abstract data types
A Avellone, M Ferrari, P Miglioli
International Workshop on Logic Programming Synthesis and Transformation, 81-100, 1998
181998
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
181998
Optimization techniques for propositional intuitionistic logic and their implementation
A Avellone, G Fiorino, U Moscato
Theoretical Computer Science 409 (1), 41-58, 2008
172008
Generalized tableau systems for intermediate propositional logics
A Avellone, U Moscato, P Miglioli, M Ornaghi
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
151997
A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic
A Avellone, G Fiorino, U Moscato
KGS, 2004
102004
On maximal intermediate predicate constructive logics
A Avellone, C Fiorentini, P Mantovani, P Miglioli
Studia Logica 57 (2-3), 373-408, 1996
91996
Almost duplication-free tableau calculi for prepositional lax logics
A Avellone, M Ferrari
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
71996
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
A formal framework for synthesis and verification of logic programs
A Avellone, M Ferrari, C Fiorentini
International Workshop on Logic-Based Program Synthesis and Transformation, 1-17, 2000
52000
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
32015
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
A space efficient implementation of a tableau calculus for a logic with a constructive negation
A Avellone, C Fiorentini, G Fiorino, U Moscato
International Workshop on Computer Science Logic, 488-502, 2004
32004
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
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
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic
A Avellone, M Ferrari, P Miglioli, U Moscato
Theorem Proving with Analytic Tableaux and Related Methods, 1-18, 1998
21998
Focusing on contraction
A Avellone, C Fiorentini, A Momigliano
Italian conference on computational logic (CILC) 1068, 65-81, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20