 | 2008 |
|---|
| 12 |       | Alessandro Avellone,
Guido Fiorino,
Ugo Moscato:
Optimization techniques for propositional intuitionistic logic and their implementation.
Theor. Comput. Sci. 409(1): 41-58 (2008) |
| 2007 |
|---|
| 11 | | Alessandro Avellone,
Guido Fiorino,
Ugo Moscato:
Improvements to the Tableau Prover PITP.
TABLEAUX 2007: 233-237 |
| 2006 |
|---|
| 10 | | Alessandro Avellone,
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
Ugo Moscato:
ESBC: an application for computing stabilization bounds.
Electr. Notes Theor. Comput. Sci. 153(1): 23-33 (2006) |
| 2004 |
|---|
| 9 | | Alessandro Avellone,
Camillo Fiorentini,
Guido Fiorino,
Ugo Moscato:
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.
CSL 2004: 488-502 |
| 2001 |
|---|
| 8 | | Alessandro Avellone,
Marco Benini,
Ugo Moscato:
How to Avoid the Formal Verification of a Theorem Prover.
Logic Journal of the IGPL 9(1): (2001) |
| 2000 |
|---|
| 7 | | Alessandro Avellone,
Mauro Ferrari,
Camillo Fiorentini:
A formal framework for synthesis and verification of logic programs.
LOPSTR 2000 |
| 6 | | Alessandro Avellone,
Mauro Ferrari,
Camillo Fiorentini:
A Formal Framework for Synthesis and Verification of Logic Programs.
LOPSTR (LNCS 2042: Selected Papers) 2000: 1-17 |
| 1999 |
|---|
| 5 | | Alessandro Avellone,
Mauro Ferrari,
Pierangelo Miglioli:
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.
Logic Journal of the IGPL 7(4): 447-480 (1999) |
| 1998 |
|---|
| 4 | | Alessandro Avellone,
Mauro Ferrari,
Pierangelo Miglioli:
Synthesis of Programs in Abstract Data Types.
LOPSTR 1998: 81-100 |
| 1997 |
|---|
| 3 |  | Alessandro Avellone,
Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Generalized Tableau Systems for Intemediate Propositional Logics.
TABLEAUX 1997: 43-61 |
| 1996 |
|---|
| 2 | | Alessandro Avellone,
Mauro Ferrari:
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.
TABLEAUX 1996: 48-64 |
| 1 | | Alessandro Avellone,
Camillo Fiorentini,
Paolo Mantovani,
Pierangelo Miglioli:
On maximal intermediate predicate constructive logics.
Studia Logica 57(2/3): 373-408 (1996) |
