|
СТ |
A Declarative View of Inheritance in Logic Programming |
1992 |
Bugliesi M. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
A Linear Logic Calculus of Objects |
1996 |
Bugliesi M., Delzanno G., Liquori L., Martelli M. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
A Logic for Encapsulation in Object Oriented Languages |
1994 |
Bugliesi M., Jamil H. M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages |
1995 |
Bugliesi M., Jamil H. M. |
|
|
|
Lecture Notes in Computer Science |
15.02.1995 |
|
СТ |
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction |
1992 |
Bugliesi M. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
SelfLog: Language and Implementation |
1993 |
Bugliesi M., Nardiello G. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
