Mario Ornaghi

Available identifiers

zbMath Open ornaghi.marioWikidataQ102301846 ScholiaQ102301846MaRDI QIDQ583194

List of research outcomes

Publication	Date of Publication	Type
Formal reasoning about modules, reuse and their correctness	2019-04-29	Paper
Generalized tableau systems for intermediate propositional logics	2019-01-15	Paper
Proof-Theoretic and Higher-Order Extensions of Logic Programming	2010-07-20	Paper
Towards a Type Discipline for Answer Set Programming	2009-07-02	Paper
Snapshot Generation in a Constructive Object-Oriented Modeling Language	2009-01-22	Paper
Constructive Specifications for Compositional Units	2008-04-24	Paper
A Software Component Model and Its Preliminary Formalisation	2007-09-11	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Program Development in Computational Logic	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4808818	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808814	2004-08-12	Paper
On Uniformly Constructive and Semiconstructive Formal Systems	2003-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4707744	2003-06-11	Paper
Preface. In memoriam Pierangelo Miglioli (1946--1999)	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q2767056	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2723915	2001-07-08	Paper
An abstract formalization of correct schemas for program synthesis	2001-02-06	Paper
Steadfast logic programs	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4264067	1999-09-21	Paper
The relationship between logic programs and specifications-the subset example revisited	1998-03-17	Paper
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic	1997-11-05	Paper
Regular search spaces and constructive negation	1997-07-17	Paper
An improved refutation system for intuitionistic predicate logic	1995-02-22	Paper
Abstract parametric classes and abstract data types defined by classical and constructive logical methods	1995-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3973572	1992-06-26	Paper
Some results on intermediate constructive logics	1989-01-01	Paper
A constructivism based on classical truth	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3476793	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818308	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669407	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4749237	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3928228	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942386	1981-01-01	Paper
Program construction by refinements preserving correctness	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4095916	1975-01-01	Paper

Research outcomes over time

This page was built for person: Mario Ornaghi