Ugo Moscato Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Guido Fiorino, Ugo Moscato: Optimization techniques for propositional intuitionistic logic and their implementation. Theor. Comput. Sci. 409(1): 41-58 (2008)
2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Guido Fiorino, Ugo Moscato: Improvements to the Tableau Prover PITP. TABLEAUX 2007: 233-237
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Marco Benini, Ugo Moscato: How to Avoid the Formal Verification of a Theorem Prover. Logic Journal of the IGPL 9(1): (2001)
1997
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX 1997: 43-61
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Refutation Systems for Propositional Modal Logics. TABLEAUX 1995: 95-105
1994
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: An Improved Refutation System for Intuitionistic Predicate Logic. J. Autom. Reasoning 13(3): 361-373 (1994)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A constructive logic approach to database theory. CNKBS 1992: 58-60
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Program Specification and Synthesis in Constructive Formal Systems. LOPSTR 1991: 13-26
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A Constructive Logic Approach to Database Theory. RCLP 1991: 302-321
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. TAPSOFT, Vol.1 1989: 337-351
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti: A Constructivism Based on Classical Truth. Notre Dame Journal of Formal Logic 30(1): 67-90 (1989)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Trees in Kripke Models and in an Intuitionistic Refutation System. CAAP 1981: 316-331
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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

Coauthor Index

1Alessandro Avellone [15] [16] [17] [18] [19] [20]
2Marco Benini [16]
3Mauro Ferrari [18]
4Camillo Fiorentini [17] [18]
5Guido Fiorino [17] [18] [19] [20]
6Pierangelo Miglioli [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
7Daniele Mundici [13]
8Mario Ornaghi [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
9Silvia Quazza [4]
10Gabriele Usberti [4] [5]

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)