Searching for authors named "Mario Ornaghi" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
Isoinitial Semantics for Logic Programs
- …Isoinitial Semantics for Logic Programs Kung-Kiu Lau 1 and Mario Ornaghi 2 1 Dept…
- Add To MetaCart
-
A formal approach to software component specification
- … be the Mario Ornaghi Dip. di Scienze dell’Informazione Universita’ degli studi di Milano Via Comelico 39…
- Cited by 6 (1 self) – Add To MetaCart
-
Isoinitial Models for Logic Programs: A Preliminary Study
- …Isoinitial Models for Logic Programs: A Preliminary Study Kung-Kiu Lau, Mario Ornaghi Abstract…
- Cited by 4 (4 self) – Add To MetaCart
-
OOD Frameworks in Component-based Software Development in Computational Logic
- … and Mario Ornaghi 2 1 Department of Computer Science, University of Manchester Manchester M13 9PL, United…
- Cited by 11 (7 self) – Add To MetaCart
-
Logic for Component-based Software Development
- …Logic for Component-based Software Development Kung-Kiu Lau 1 and Mario Ornaghi 2 1 Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Regular Search Spaces and Constructive Negation
- … Carnegie Mellon University 15213 Pittsburgh PA, USA Tel. 001-412-268-8147 am4e@(email omitted); Mario Ornaghi…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards Correct Object-Oriented Systems in Computational Logic
- …92 Towards Correct Object-Oriented Systems in Computational Logic Kung-Kiu Lau 1 and Mario…
- Cited by 2 (2 self) – Add To MetaCart
-
A Formal Approach to Deductive Synthesis of Constraint Logic Programs
- …-kiu@(email omitted); Mario Ornaghi Dipartimento di Scienze dell'Informazione Universita' degli studi di Milano, Via Comelico…
- Cited by 9 (6 self) – Add To MetaCart
-
The Relationship between Logic Programs and Specifications - The Subset Example Revisited
- … AND SPECIFICATIONS --- THE SUBSET EXAMPLE REVISITED KUNG-KIU LAU AND MARIO ORNAGHI . The fundamental relation between…
- Cited by 10 (5 self) – Add To MetaCart
-
An Incompleteness Result for Deductive Synthesis of Logic Programs
- …@(email omitted); Mario Ornaghi Dipartimento di Scienze dell'Informazione Universita' degli studi di Milano Via Comelico…
- Cited by 8 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
