The following pages link to Mario Ornaghi (Q583194):
Displaying 35 items.
- Some results on intermediate constructive logics (Q583197) (← links)
- A constructivism based on classical truth (Q1117222) (← links)
- Abstract parametric classes and abstract data types defined by classical and constructive logical methods (Q1342134) (← links)
- An improved refutation system for intuitionistic predicate logic (Q1344876) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Preface. In memoriam Pierangelo Miglioli (1946--1999) (Q1868238) (← links)
- (Q2723915) (← links)
- (Q2767056) (← links)
- (Q3476793) (← links)
- Proof-Theoretic and Higher-Order Extensions of Logic Programming (Q3578399) (← links)
- A Software Component Model and Its Preliminary Formalisation (Q3591391) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- (Q3669407) (← links)
- (Q3818308) (← links)
- (Q3928228) (← links)
- (Q3942386) (← links)
- (Q3973572) (← links)
- Program construction by refinements preserving correctness (Q4068065) (← links)
- (Q4095916) (← links)
- (Q4264067) (← links)
- Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic (Q4340932) (← links)
- Regular search spaces and constructive negation (Q4344699) (← links)
- The relationship between logic programs and specifications-the subset example revisited (Q4365066) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- Formal reasoning about modules, reuse and their correctness (Q4632313) (← links)
- (Q4707744) (← links)
- Steadfast logic programs (Q4719365) (← links)
- (Q4749237) (← links)
- On Uniformly Constructive and Semiconstructive Formal Systems (Q4795874) (← links)
- (Q4808814) (← links)
- (Q4808818) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- Program Development in Computational Logic (Q5712536) (← links)
- Logic Based Program Synthesis and Transformation (Q5713945) (← links)
