Ugo Moscato
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1991–2007
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | TABLEAUX | Improvements to the Tableau Prover PITP. | Alessandro Avellone, Guido Fiorino, Ugo Moscato |
| 2004 | CSL | A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. | Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
| 1997 | TABLEAUX | Generalized Tableau Systems for Intemediate Propositional Logics. | Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1995 | TABLEAUX | Refutation Systems for Propositional Modal Logics. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | LOPSTR | Program Specification and Synthesis in Constructive Formal Systems. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | LPAR | A Constructive Logic Approach to Database Theory. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |