|
СТ |
Termination Analysis for Abductive General Logic Programs |
1999 |
Verbaeten S. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
Termination Analysis of Tabled Logic Programs Using Mode and Type Information |
1999 |
Verbaeten S., De Schreye D. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
|
СТ |
Modular Termination Proofs for Prolog with Tabling |
1999 |
Verbaeten S., Sagonas K., De Schreye D. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Compositionality of Normal Open Logic Programs |
1997 |
Verbaeten S., Denecker M., De Schreye D. |
|
|
|
Logic Programming |
05.03.1998 |
