Ugo Moscato

Publication Activity (10 Years)

Years Active: 1981-2008
Publications (10 Years): 0

Publications

Alessandro Avellone, Guido Fiorino, Ugo Moscato
Optimization techniques for propositional intuitionistic logic and their implementation. Theor. Comput. Sci. 409 (1) (2008)
Alessandro Avellone, Guido Fiorino, Ugo Moscato
Improvements to the Tableau Prover PITP. TABLEAUX (2007)
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
ESBC: an application for computing stabilization bounds. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
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)
Alessandro Avellone, Marco Benini, Ugo Moscato
How to Avoid the Formal Verification of a Theorem Prover. Log. J. IGPL 9 (1) (2001)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Log. J. IGPL 5 (1) (1997)
Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX (1997)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Refutation Systems for Propositional Modal Logics. TABLEAUX (1995)
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) (1994)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
An Improved Refutation System for Intuitionistic Predicate Logic. J. Autom. Reason. 13 (3) (1994)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
A constructive logic approach to database theory. CNKBS (1992)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
A Constructive Logic Approach to Database Theory. RCLP (1991)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Program Specification and Synthesis in Constructive Formal Systems. LOPSTR (1991)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
A Constructivism Based on Classical Truth. Notre Dame J. Formal Log. 30 (1) (1989)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. TAPSOFT, Vol.1 (1989)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
Some Results on Intermediate Constructive Logics. Notre Dame J. Formal Log. 30 (4) (1989)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
PAP: A Logic Programming System Based on a Constructive Logic. Foundations of Logic and Functional Programming (1986)
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)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Trees in Kripke Models and in an Intuitionistic Refutation System. CAAP (1981)