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/Q48088142004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48088182004-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Mario Ornaghi