nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A complete decoding algorithm for double-error-correcting primitive binary BCH codes of odd m
|
Lu, Erl-Huei |
|
1994 |
52 |
6 |
p. 341- 1 p. |
artikel |
2 |
A complete equational axiomatization for prefix iteration
|
Fokkink, Wan |
|
1994 |
52 |
6 |
p. 333-337 5 p. |
artikel |
3 |
A data structure for bicategories, with application to speeding up an approximation algorithm
|
Klein, Philip N. |
|
1994 |
52 |
6 |
p. 303-307 5 p. |
artikel |
4 |
A general framework for minimax search in game trees
|
Bhattacharya, Subir |
|
1994 |
52 |
6 |
p. 295-301 7 p. |
artikel |
5 |
An optimal lower bound for nonregular languages
|
Bertoni, A. |
|
1994 |
52 |
6 |
p. 339- 1 p. |
artikel |
6 |
An upper bound on the number of functions satisfying the Strict Avalanche Criterion
|
O'Connor, Luke |
|
1994 |
52 |
6 |
p. 325-327 3 p. |
artikel |
7 |
Author index volume 52 (1994)
|
|
|
1994 |
52 |
6 |
p. 343-344 2 p. |
artikel |
8 |
Bisimulation is two-way simulation
|
Bergstra, J.A. |
|
1994 |
52 |
6 |
p. 285-287 3 p. |
artikel |
9 |
Dominations in trapezoid graphs
|
Daniel Liang, Y. |
|
1994 |
52 |
6 |
p. 309-315 7 p. |
artikel |
10 |
On repeated factors in C∞-words
|
Carpi, Arturo |
|
1994 |
52 |
6 |
p. 289-294 6 p. |
artikel |
11 |
On the determinacy problem for two-way pushdown automata
|
Petersen, H. |
|
1994 |
52 |
6 |
p. 323-324 2 p. |
artikel |
12 |
The decision-tree complexity of element distinctness
|
Boppana, Ravi B. |
|
1994 |
52 |
6 |
p. 329-331 3 p. |
artikel |
13 |
The path-partition problem in block graphs
|
Yan, Jing-Ho |
|
1994 |
52 |
6 |
p. 317-322 6 p. |
artikel |