Mario Ornaghi

From MaRDI portal
Person:583194

Available identifiers

zbMath Open ornaghi.marioWikidataQ102301846 ScholiaQ102301846MaRDI QIDQ583194

List of research outcomes





PublicationDate of PublicationType
Formal reasoning about modules, reuse and their correctness2019-04-29Paper
Generalized tableau systems for intermediate propositional logics2019-01-15Paper
Proof-Theoretic and Higher-Order Extensions of Logic Programming2010-07-20Paper
Towards a Type Discipline for Answer Set Programming2009-07-02Paper
Snapshot Generation in a Constructive Object-Oriented Modeling Language2009-01-22Paper
Constructive Specifications for Compositional Units2008-04-24Paper
A Software Component Model and Its Preliminary Formalisation2007-09-11Paper
Logic Based Program Synthesis and Transformation2005-12-27Paper
Program Development in Computational Logic2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q48088182004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48088142004-08-12Paper
On Uniformly Constructive and Semiconstructive Formal Systems2003-10-16Paper
https://portal.mardi4nfdi.de/entity/Q47077442003-06-11Paper
Preface. In memoriam Pierangelo Miglioli (1946--1999)2003-04-27Paper
https://portal.mardi4nfdi.de/entity/Q27670562002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27239152001-07-08Paper
An abstract formalization of correct schemas for program synthesis2001-02-06Paper
Steadfast logic programs2000-01-04Paper
https://portal.mardi4nfdi.de/entity/Q42640671999-09-21Paper
The relationship between logic programs and specifications-the subset example revisited1998-03-17Paper
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic1997-11-05Paper
Regular search spaces and constructive negation1997-07-17Paper
An improved refutation system for intuitionistic predicate logic1995-02-22Paper
Abstract parametric classes and abstract data types defined by classical and constructive logical methods1995-01-11Paper
https://portal.mardi4nfdi.de/entity/Q39735721992-06-26Paper
Some results on intermediate constructive logics1989-01-01Paper
A constructivism based on classical truth1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34767931987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38183081987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36694071982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47492371982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39282281981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39423861981-01-01Paper
Program construction by refinements preserving correctness1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40959161975-01-01Paper

Research outcomes over time

This page was built for person: Mario Ornaghi