|
СТ |
Lower Bound Cost Estimation for Logic Programs |
1997 |
Debray S., Lopez-Garcia P., Hermenegildo M., Lin N. -W. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
Estimating the Computational Cost of Logic Programs |
1994 |
Debray S. K., Garcia P. L., Hermenegildo M., Lin N. -W. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Automatic Complexity Analysis of Logic Programs |
1991 |
Debray S. K., Lin N. -W. |
|
|
|
Logic Programming: Proc./Eight Intern. Conf. |
23.09.1994 |
|
СТ |
Cost Analysis of Logic Programs |
1993 |
Debray S. K., Lin N. -W. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.02.1994 |
