|
СТ |
Abstract Debugging of Logic Programs |
1994 |
Comini M., Levi G., Vitiello G. |
|
|
|
Lecture Notes in Computer Science |
13.01.1995 |
|
СТ |
Abstract Diagnosis of Functional Programs |
2003 |
Alpuente M., Comini M., Escobar S., Falaschi M., Lucas S. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Compositionality in SLD-derivations and their Abstractions |
1995 |
Comini M., Levi G., Meo M. C. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
Declarative Diagnosis Revisited |
1995 |
Comini M., Levi G. |
|
|
|
Logic Programming: Proc. of the 1995 Intern Symp. |
24.04.1996 |
|
СТ |
Proving Properties of Logic Programs by Abstract Diagnosis |
1997 |
Comini M., Levi G., Meo M. C., Vitiello G. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
