Ugo Moscato

20 papers B 5C 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2008 J jnl
Optimization techniques for propositional intuitionistic logic and their implementation.
Theor. Comput. Sci.
Alessandro Avellone, Guido Fiorino, Ugo Moscato
2007 B conf
Improvements to the Tableau Prover PITP.
TABLEAUX
Alessandro Avellone, Guido Fiorino, Ugo Moscato
2005 — conf
ESBC: an application for computing stabilization bounds.
CLASE
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
2004 B conf
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.
CSL
Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
2001 J jnl
How to Avoid the Formal Verification of a Theorem Prover.
Log. J. IGPL
Alessandro Avellone, Marco Benini, Ugo Moscato
1997 J jnl
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
Log. J. IGPL
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1997 B conf
Generalized Tableau Systems for Intemediate Propositional Logics.
TABLEAUX
Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1996 B ed.
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings
TABLEAUX
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
1995 B conf
Refutation Systems for Propositional Modal Logics.
TABLEAUX
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1994 J jnl
Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.
J. Symb. Comput.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1994 J jnl
An Improved Refutation System for Intuitionistic Predicate Logic.
J. Autom. Reason.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1992 — conf
A constructive logic approach to database theory.
CNKBS
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1991 — conf
A Constructive Logic Approach to Database Theory.
RCLP
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1991 C conf
Program Specification and Synthesis in Constructive Formal Systems.
LOPSTR
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1989 J jnl
A Constructivism Based on Classical Truth.
Notre Dame J. Formal Log.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
1989 — conf
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.
TAPSOFT, Vol.1
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1989 J jnl
Some Results on Intermediate Constructive Logics.
Notre Dame J. Formal Log.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
1986 — conf
PAP: A Logic Programming System Based on a Constructive Logic.
Foundations of Logic and Functional Programming
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1981 — conf
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
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1981 — conf
Trees in Kripke Models and in an Intuitionistic Refutation System.
CAAP
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi