no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP
|
Imbert, Jean-Louis |
|
1993 |
16 |
3-4 |
p. 235-253 19 p. |
article |
2 |
Author index to volume 16
|
|
|
1993 |
16 |
3-4 |
p. 417- 1 p. |
article |
3 |
Generalized constraint propagation over the CLP scheme
|
Le Provost, Thierry |
|
1993 |
16 |
3-4 |
p. 319-359 41 p. |
article |
4 |
Guest editor's introduction
|
Hentenryck, Pascal Van |
|
1993 |
16 |
3-4 |
p. 191-193 3 p. |
article |
5 |
Hierarchical constraint logic programming
|
Wilson, Molly |
|
1993 |
16 |
3-4 |
p. 277-318 42 p. |
article |
6 |
Interval computation as deduction in chip
|
Lee, J.H.M. |
|
1993 |
16 |
3-4 |
p. 255-276 22 p. |
article |
7 |
Pushing constraint selections
|
Srivastava, Divesh |
|
1993 |
16 |
3-4 |
p. 361-414 54 p. |
article |
8 |
Title index to volume 16
|
|
|
1993 |
16 |
3-4 |
p. 415- 1 p. |
article |
9 |
Towards a meaning of life
|
Aït-Kaci, Hassan |
|
1993 |
16 |
3-4 |
p. 195-234 40 p. |
article |