| 2008 |
|---|
| 20 | EE | Alessandro Avellone,
Guido Fiorino,
Ugo Moscato:
Optimization techniques for propositional intuitionistic logic and their implementation.
Theor. Comput. Sci. 409(1): 41-58 (2008) |
| 2007 |
|---|
| 19 | EE | Alessandro Avellone,
Guido Fiorino,
Ugo Moscato:
Improvements to the Tableau Prover PITP.
TABLEAUX 2007: 233-237 |
| 2006 |
|---|
| 18 | EE | 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 |
|---|
| 17 | EE | 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 |
|---|
| 16 | EE | Alessandro Avellone,
Marco Benini,
Ugo Moscato:
How to Avoid the Formal Verification of a Theorem Prover.
Logic Journal of the IGPL 9(1): (2001) |
| 1997 |
|---|
| 15 | | Alessandro Avellone,
Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Generalized Tableau Systems for Intemediate Propositional Logics.
TABLEAUX 1997: 43-61 |
| 14 | EE | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
Logic Journal of the IGPL 5(1): (1997) |
| 1996 |
|---|
| 13 | | Pierangelo Miglioli,
Ugo Moscato,
Daniele Mundici,
Mario Ornaghi:
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings
Springer 1996 |
| 1995 |
|---|
| 12 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Refutation Systems for Propositional Modal Logics.
TABLEAUX 1995: 95-105 |
| 1994 |
|---|
| 11 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
An Improved Refutation System for Intuitionistic Predicate Logic.
J. Autom. Reasoning 13(3): 361-373 (1994) |
| 10 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.
J. Symb. Comput. 18(1): 41-81 (1994) |
| 1992 |
|---|
| 9 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
A constructive logic approach to database theory.
CNKBS 1992: 58-60 |
| 1991 |
|---|
| 8 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Program Specification and Synthesis in Constructive Formal Systems.
LOPSTR 1991: 13-26 |
| 7 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
A Constructive Logic Approach to Database Theory.
RCLP 1991: 302-321 |
| 1989 |
|---|
| 6 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.
TAPSOFT, Vol.1 1989: 337-351 |
| 5 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi,
Gabriele Usberti:
A Constructivism Based on Classical Truth.
Notre Dame Journal of Formal Logic 30(1): 67-90 (1989) |
| 4 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi,
Silvia Quazza,
Gabriele Usberti:
Some Results on Intermediate Constructive Logics.
Notre Dame Journal of Formal Logic 30(4): 543-562 (1989) |
| 1986 |
|---|
| 3 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
PAP: A Logic Programming System Based on a Constructive Logic.
Foundations of Logic and Functional Programming 1986: 143-156 |
| 1981 |
|---|
| 2 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Trees in Kripke Models and in an Intuitionistic Refutation System.
CAAP 1981: 316-331 |
| 1 | | Pierangelo Miglioli,
Ugo Moscato,
Mario Ornaghi:
Constructive Proofs as Programs Executable by PrT Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 311-322 |
