Search the dblp DataBase

Publications of Author

1. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Constructive Proofs as Programs Executable by PrT Nets. [Citation Graph (0, 0)][DBLP]
   Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:311-322 [Conf]
   
2. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Trees in Kripke Models and in an Intuitionistic Refutation System. [Citation Graph (0, 0)][DBLP]
   CAAP, 1981, pp:316-331 [Conf]
   
3. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   A constructive logic approach to database theory. [Citation Graph (0, 0)][DBLP]
   CNKBS, 1992, pp:58-60 [Conf]
   
4. Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
   A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:488-502 [Conf]
   
5. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   PAP: A Logic Programming System Based on a Constructive Logic. [Citation Graph (0, 0)][DBLP]
   Foundations of Logic and Functional Programming, 1986, pp:143-156 [Conf]
   
6. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Program Specification and Synthesis in Constructive Formal Systems. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1991, pp:13-26 [Conf]
   
7. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   A Constructive Logic Approach to Database Theory. [Citation Graph (0, 0)][DBLP]
   RCLP, 1991, pp:302-321 [Conf]
   
8. Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Generalized Tableau Systems for Intemediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1997, pp:43-61 [Conf]
   
9. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
   Refutation Systems for Propositional Modal Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:95-105 [Conf]
   
10. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:337-351 [Conf]
    
11. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
    ESBC: an application for computing stabilization bounds. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:23-33 [Journal]
    
12. Alessandro Avellone, Marco Benini, Ugo Moscato
    How to Avoid the Formal Verification of a Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal]
    
13. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:1, pp:- [Journal]
    
14. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    An Improved Refutation System for Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:3, pp:361-373 [Journal]
    
15. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:1, pp:41-81 [Journal]
    
16. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
    Some Results on Intermediate Constructive Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:543-562 [Journal]
    
17. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
    A Constructivism Based on Classical Truth. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:67-90 [Journal]
    
18. Alessandro Avellone, Guido Fiorino, Ugo Moscato
    Improvements to the Tableau Prover PITP. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:233-237 [Conf]