|
СТ |
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 |
|
СТ |
Detecting Unsolvable Queries for Definite Logic Programs |
1998 |
Bruynooghe M., Vandecasteele H., De Waal D. A., Denecker M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Implementing a Finite-domain CLP-language on Top of Prolog: A Transformational Approach |
1994 |
Vandecasteele H., De Schreye D. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.08.1994 |
