Ugo Moscato

According to our database, Ugo Moscato authored at least 18 papers between 1981 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Optimization techniques for propositional intuitionistic logic and their implementation.

Alessandro Avellone, Guido Fiorino, Ugo Moscato

Theor. Comput. Sci., 2008

2007

Improvements to the Tableau Prover PITP.

Alessandro Avellone, Guido Fiorino, Ugo Moscato

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

2005

ESBC: an application for computing stabilization bounds.

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

2004

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.

Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2001

How to Avoid the Formal Verification of a Theorem Prover.

Alessandro Avellone, Marco Benini, Ugo Moscato

Log. J. IGPL, 2001

1997

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Log. J. IGPL, 1997

Generalized Tableau Systems for Intemediate Propositional Logics.

Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1995

Refutation Systems for Propositional Modal Logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

J. Symb. Comput., 1994

An Improved Refutation System for Intuitionistic Predicate Logic.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

J. Autom. Reason., 1994

1992

A constructive logic approach to database theory.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the CNKBS'92, 1992

1991

Program Specification and Synthesis in Constructive Formal Systems.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Logic Program Synthesis and Transformation, 1991

1989

A Constructivism Based on Classical Truth.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti

Notre Dame J. Formal Log., 1989

Some Results on Intermediate Constructive Logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti

Notre Dame J. Formal Log., 1989

Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1986

PAP: A Logic Programming System Based on a Constructive Logic.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Foundations of Logic and Functional Programming, 1986

1981

Trees in Kripke Models and in an Intuitionistic Refutation System.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the CAAP '81, 1981

Constructive Proofs as Programs Executable by PrT Nets.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Application and Theory of Petri Nets, 1981