- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j5 |      | Alessandro Avellone, Guido Fiorino, Ugo Moscato: Optimization techniques for propositional intuitionistic logic and their implementation. Theor. Comput. Sci. 409(1): 41-58 (2008) |
| 2007 | ||
| c7 | | Alessandro Avellone, Guido Fiorino, Ugo Moscato: Improvements to the Tableau Prover PITP. TABLEAUX 2007: 233-237 |
| 2006 | ||
| j4 | | 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 | ||
| c6 | | 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 | ||
| j3 | | Alessandro Avellone, Marco Benini, Ugo Moscato: How to Avoid the Formal Verification of a Theorem Prover. Logic Journal of the IGPL 9(1): 1-25 (2001) |
| 2000 | ||
| c5 | | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini: A formal framework for synthesis and verification of logic programs. LOPSTR 2000 |
| c4 | | 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 | ||
| j2 | | 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 | ||
| c3 | | Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli: Synthesis of Programs in Abstract Data Types. LOPSTR 1998: 81-100 |
| 1997 | ||
| c2 | | Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX 1997: 43-61 |
| 1996 | ||
| j1 | | Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli: On maximal intermediate predicate constructive logics. Studia Logica 57(2/3): 373-408 (1996) |
| c1 | | Alessandro Avellone, Mauro Ferrari: Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. TABLEAUX 1996: 48-64 |
| 1 | Marco Benini | |
| 2 | Mauro Ferrari | |
| 3 | Camillo Fiorentini | |
| 4 | Guido Fiorino | |
| 5 | Paolo Mantovani | |
| 6 | Pierangelo Miglioli | |
| 7 | Ugo Moscato | |
| 8 | Mario Ornaghi |
Data released under the ODC-BY 1.0 license — See also our legal information page