|
СТ |
Semantics of Normal Logic Programs with Embedded Implications |
2001 |
Orejas F., Pasarella E., Pino E. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
СТ |
Semantic Definitions for Normal Open Programs |
1999 |
Orejas F., Pino E. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
A General Algebraic Framework for Studying Modular Systems |
2000 |
Orejas F., Pino E. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
Algebraic Methods in the Compositional Analysis of Logic Programs |
1994 |
Orejas F., Pino E. |
|
|
|
Lecture Notes in Computer Science |
29.09.1994 |
