|
СТ |
Interval Constraint Logic Programming |
1995 |
Benhamou F. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints |
2000 |
Benhamou F., Goualard F., Languenou E., Christie M. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Interval Constraints: Results and Perspectives |
2000 |
Benhamou F., Granvilliers L., Goualard F. |
|
|
|
Lecture Notes in Computer Science |
20.10.2000 |
|
СТ |
Debugging Constraint Programs by Store Inspection |
2000 |
Goualard F., Benhamou F. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
