| Publication | Date of Publication | Type |
|---|
Formal reasoning about modules, reuse and their correctness
Practical Reasoning | 2019-04-29 | Paper |
Generalized tableau systems for intermediate propositional logics
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Proof-theoretic and higher-order extensions of logic programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Towards a Type Discipline for Answer Set Programming
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Constructive Specifications for Compositional Units
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
A Software Component Model and Its Preliminary Formalisation
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
scientific article; zbMATH DE number 2090126 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2090122 (Why is no real title available?)
| 2004-08-12 | Paper |
On Uniformly Constructive and Semiconstructive Formal Systems
Logic Journal of the IGPL | 2003-10-16 | Paper |
scientific article; zbMATH DE number 1926612 (Why is no real title available?)
| 2003-06-11 | Paper |
Preface. In memoriam Pierangelo Miglioli (1946--1999)
Studia Logica | 2003-04-27 | Paper |
scientific article; zbMATH DE number 1696798 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1615251 (Why is no real title available?)
| 2001-07-08 | Paper |
An abstract formalization of correct schemas for program synthesis
Journal of Symbolic Computation | 2001-02-06 | Paper |
Steadfast logic programs
The Journal of Logic Programming | 2000-01-04 | Paper |
scientific article; zbMATH DE number 1337628 (Why is no real title available?)
| 1999-09-21 | Paper |
The relationship between logic programs and specifications-the subset example revisited
The Journal of Logic Programming | 1998-03-17 | Paper |
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
Logic Journal of the IGPL | 1997-11-05 | Paper |
Regular search spaces and constructive negation
Journal Of Logic And Computation | 1997-07-17 | Paper |
An improved refutation system for intuitionistic predicate logic
Journal of Automated Reasoning | 1995-02-22 | Paper |
Abstract parametric classes and abstract data types defined by classical and constructive logical methods
Journal of Symbolic Computation | 1995-01-11 | Paper |
scientific article; zbMATH DE number 16881 (Why is no real title available?)
| 1992-06-26 | Paper |
Some results on intermediate constructive logics
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
A constructivism based on classical truth
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4145878 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4089536 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3821724 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3806973 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3742599 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3759536 (Why is no real title available?)
| 1981-01-01 | Paper |
Program construction by refinements preserving correctness
The Computer Journal | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3516671 (Why is no real title available?)
| 1975-01-01 | Paper |
