Ugo Moscato

Some results on intermediate constructive logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi et al. · Notre Dame Journal of Formal Logic · 1989 · 38 citations · Full text

Humanities, Computer Science, Mathematics +10

A constructivism based on classical truth.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi et al. · Notre Dame Journal of Formal Logic · 1988 · 34 citations · Full text

Humanities, Philosophy, Philosophy Of Science +2

An improved refutation system for intuitionistic predicate logic

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi · Journal of Automated Reasoning · 1994 · 22 citations

Humanities, Computer Science, Formal Methods +8

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

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi · Journal of Symbolic Computation · 1994 · 17 citations

Computing, Computer Science, Formal Methods +11

Optimization techniques for propositional intuitionistic logic and their implementation

Alessandro Avellone, Guido Fiorino, Ugo Moscato · Theoretical Computer Science · 2008 · 13 citations · Full text

Humanities, Computer Science, Mathematics +11