|
СТ |
Correct OO Systems in Computational Logic |
2004 |
Lau K. -K., Ornaghi M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Logic for Component-Based Software Development |
2002 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
|
СТ |
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic |
2000 |
Filipe J. K., Lau K. -K., Ornaghi M., Yatsu H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
OOD Frameworks in Component-Based Software - Development in Computational Logic |
1999 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
16.04.1999 |
|
СТ |
On Correct Program Schemas |
1998 |
Flener P., Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Towards a Logic for Reasoning About Logic Programs Transformation |
1998 |
Momigliano A., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Forms of Logic Specifications: A Preliminary Study |
1997 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Correctness of Logic Program Transformations Based on Existential Termination |
1995 |
Lau K. -K., Ornaghi M., Pettorossi A., Proietti M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
A Formal Approach to Deductive Synthesis of Constraint Logic Programs |
1995 |
Lau K. -K., Ornaghi M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs |
1996 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
|
СТ |
The Halting Problem for Deductive Synthesis of Logic Programs |
1994 |
Lau K. -K., Ornaghi M., Tarnlund S. -A. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Refutation Systems for Propositional Modal Logics |
1995 |
Miglioli P., Moscato U., Ornaghi M. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
|
СТ |
On Specification Frameworks and Deductive Synthesis of Logic Programs |
1994 |
Lau K. -K., Ornaghi M. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Regular Search Spaces as a Foundation of Logic Programming |
1994 |
Momigliano A., Ornaghi M. |
|
|
|
Lecture Notes in Artificial Intelligence |
01.07.1994 |
