Ugo Moscato

	2008
20		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		Alessandro Avellone, Guido Fiorino, Ugo Moscato: Improvements to the Tableau Prover PITP. TABLEAUX 2007: 233-237
	2006
18		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		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		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		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

Coauthor Index

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