|
СТ |
Extending S-Models to Logic Programs with Negation |
1991 |
Turi D. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Initial Algebra and Final Coalgebra Semantics for Concurrency |
1994 |
Rutten J., Turi D. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders |
1993 |
Rutten J.M. M., Turi D. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
A Two Steps Semantics for Logic Programs with Negation |
1992 |
Gabrielli M., Levi G., Turi D. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1992 |
