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/Q4808814	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808818	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mario Ornaghi