| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A fully distributed termination detection scheme
|
Huang, Shing-Tsaan
|
|
1988
|
29 |
1 |
p. 13-18
6 p.
|
artikel
|
| 2 |
An exercise in proving self-stabilization with a variant function
|
Kessels, J.L.W.
|
|
1988
|
29 |
1 |
p. 39-42
4 p.
|
artikel
|
| 3 |
A practical algorithm for boolean matrix multiplication
|
Atkinson, Michael D.
|
|
1988
|
29 |
1 |
p. 37-38
2 p.
|
artikel
|
| 4 |
Editorial board
|
|
|
1988
|
29 |
1 |
p. iv-
1 p.
|
artikel
|
| 5 |
LTUR: a simplified linear-time unit resolution algorithm for horn formulae and computer implementation
|
Minoux, Michel
|
|
1988
|
29 |
1 |
p. 1-12
12 p.
|
artikel
|
| 6 |
More comments on “Distributed termination detection algorithm for distributed computations” [1,2]
|
|
|
1988
|
29 |
1 |
p. 53-55
3 p.
|
artikel
|
| 7 |
On linear search heuristics
|
Mäkinen, Erkki
|
|
1988
|
29 |
1 |
p. 35-36
2 p.
|
artikel
|
| 8 |
On process assignment in parallel computing
|
Burton, F.Warren
|
|
1988
|
29 |
1 |
p. 31-34
4 p.
|
artikel
|
| 9 |
On the detection of a common intersection of k convex objects in the plane
|
Reichling, Matthias
|
|
1988
|
29 |
1 |
p. 25-29
5 p.
|
artikel
|
| 10 |
Proving open properties by induction
|
Raoult, Jean-Claude
|
|
1988
|
29 |
1 |
p. 19-23
5 p.
|
artikel
|
| 11 |
Time-optimal short-circuit evaluation of boolean expressions
|
Sassa, Masataka
|
|
1988
|
29 |
1 |
p. 43-51
9 p.
|
artikel
|
Tijdschrift beschrijving