nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A note on specifying and verifying concurrent processes
|
Holenderski, Leszek |
|
1984 |
18 |
2 |
p. 77-85 9 p. |
artikel |
2 |
A parallel view of stable marriages
|
C. Hull, M.Elizabeth |
|
1984 |
18 |
2 |
p. 63-66 4 p. |
artikel |
3 |
A partitioning algorithm for minimum weighted Euclidean matching
|
Dyer, M.E. |
|
1984 |
18 |
2 |
p. 59-62 4 p. |
artikel |
4 |
A probabilistic analysis of an error-correcting algorithm for the towers of Hanoi puzzle
|
Scarioni, F. |
|
1984 |
18 |
2 |
p. 99-103 5 p. |
artikel |
5 |
Extending binary Byzantine agreement to multivalued Byzantine agreement
|
Turpin, Russell |
|
1984 |
18 |
2 |
p. 73-76 4 p. |
artikel |
6 |
Fifth Bonn workshop on combinatorial optimization 11-16 June 1984, Bonn, Fed. Rep. Germany
|
|
|
1984 |
18 |
2 |
p. 117- 1 p. |
artikel |
7 |
Insecurity of set controls for statistical databases
|
Schlörer, Jan |
|
1984 |
18 |
2 |
p. 67-71 5 p. |
artikel |
8 |
On a circle-cover minimization problem
|
Lee, C.C. |
|
1984 |
18 |
2 |
p. 109-115 7 p. |
artikel |
9 |
On legal path problems in digraphs
|
Ihm, Heung-Soon |
|
1984 |
18 |
2 |
p. 93-98 6 p. |
artikel |
10 |
Remarks on two-way automata with weak-counters
|
Miyano, Satoru |
|
1984 |
18 |
2 |
p. 105-107 3 p. |
artikel |
11 |
When do non-conflict-free multivalued dependency sets appear?
|
Katsuno, Hirofumi |
|
1984 |
18 |
2 |
p. 87-92 6 p. |
artikel |