|
СТ |
Termination analysis: some practical properties of the norm and level mapping space |
1998 |
Decorte S., De Schreye D. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
Constraint-Based Termination Analysis of Logic Programs |
1999 |
Decorte S., De Schreye D., Vandecasteele H. |
|
|
|
ACM Trans. on Programming Languages and Systems |
10.07.2000 |
|
СТ |
Termination Analysis for Tabled Logic Programming |
1998 |
Decorte S., De Schreye D., Leuschel M., Martens B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Demand-driven and Constraint-based Automatic Left-termination Analysis for Logic Programs |
1997 |
Decorte S., De Schreye D. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis |
1993 |
Decorte S., De Schreye D., Fabris M. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
21.09.1994 |
