nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A distributed arc-consistency algorithm
|
Nguyen, T. |
|
1998 |
30 |
1-2 |
p. 227-250 24 p. |
artikel |
2 |
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
|
Bagnara, Roberto |
|
1998 |
30 |
1-2 |
p. 119-155 37 p. |
artikel |
3 |
Computing with continuous change
|
Gupta, V. |
|
1998 |
30 |
1-2 |
p. 3-49 47 p. |
artikel |
4 |
Constraint-based protocols for distributed problem solving
|
Borghoffb, Uwe M. |
|
1998 |
30 |
1-2 |
p. 201-225 25 p. |
artikel |
5 |
Constraint programming over nonlinear constraints
|
Van Hentenryck, Pascal |
|
1998 |
30 |
1-2 |
p. 83-118 36 p. |
artikel |
6 |
Editorial Board
|
|
|
1998 |
30 |
1-2 |
p. ii- 1 p. |
artikel |
7 |
Foreword
|
Codognet, Philippe |
|
1998 |
30 |
1-2 |
p. 1-2 2 p. |
artikel |
8 |
GOFFIN: Higher-order functions meet concurrent constraints
|
Chakravarty, Manuel M.T. |
|
1998 |
30 |
1-2 |
p. 157-199 43 p. |
artikel |
9 |
Partial order and contextual net semantics for atomic and locally atomic CC programs
|
Bueno, F. |
|
1998 |
30 |
1-2 |
p. 51-82 32 p. |
artikel |