| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Equivalences among logics of programs
|
Meyer, Albert R.
|
|
1984
|
29 |
2 |
p. 160-170
11 p.
|
artikel
|
| 2 |
Indecomposable maps in tessellation structures of arbitrary dimension
|
Miyajima, Hiromi
|
|
1984
|
29 |
2 |
p. 171-182
12 p.
|
artikel
|
| 3 |
Multi-version concurrency control scheme for a database system
|
Muro, Shojiro
|
|
1984
|
29 |
2 |
p. 207-224
18 p.
|
artikel
|
| 4 |
New algorithms for the LCS problem
|
Hsu, W.J.
|
|
1984
|
29 |
2 |
p. 133-152
20 p.
|
artikel
|
| 5 |
On cancellation properties of languages which are supports of rational power series
|
Restivo, Antonio
|
|
1984
|
29 |
2 |
p. 153-159
7 p.
|
artikel
|
| 6 |
On the computational complexity of path cover problems
|
Ntafos, Simeon
|
|
1984
|
29 |
2 |
p. 225-242
18 p.
|
artikel
|
| 7 |
The complexity of two-player games of incomplete information
|
Reif, John H.
|
|
1984
|
29 |
2 |
p. 274-301
28 p.
|
artikel
|
| 8 |
The performance of multilective VLSI algorithms
|
Savage, John E.
|
|
1984
|
29 |
2 |
p. 243-273
31 p.
|
artikel
|
| 9 |
Time-space tradeoffs for matrix multiplication and the discrete fourier transform on any general sequential random-access computer
|
Yesha, Yaacov
|
|
1984
|
29 |
2 |
p. 183-197
15 p.
|
artikel
|
| 10 |
Towards a hierarchy of nets
|
Porat, Sara
|
|
1984
|
29 |
2 |
p. 198-206
9 p.
|
artikel
|
Tijdschrift beschrijving