nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An information-theoretic approach to time bounds for on-line computation
|
Paul, Wolfgang J. |
|
1981 |
23 |
2 |
p. 108-126 19 p. |
artikel |
2 |
An optimal solution to a wire-routing problem
|
Tompa, Martin |
|
1981 |
23 |
2 |
p. 127-150 24 p. |
artikel |
3 |
Complexity of algebraic implementations for abstract data types
|
Ehrig, Hartmut |
|
1981 |
23 |
2 |
p. 223-253 31 p. |
artikel |
4 |
Definability in dynamic logic
|
Meyer, Albert R. |
|
1981 |
23 |
2 |
p. 279-298 20 p. |
artikel |
5 |
Editor's foreword
|
Savitch, Walter J. |
|
1981 |
23 |
2 |
p. 107- 1 p. |
artikel |
6 |
Independence results in computer science?
|
Joseph, Deborah |
|
1981 |
23 |
2 |
p. 205-222 18 p. |
artikel |
7 |
Maintenance of configurations in the plane
|
Overmars, Mark H. |
|
1981 |
23 |
2 |
p. 166-204 39 p. |
artikel |
8 |
Pebbling with an auxiliary pushdown
|
Pippenger, Nicholas |
|
1981 |
23 |
2 |
p. 151-165 15 p. |
artikel |
9 |
Upper bounds for static resource allocation in a distributed system
|
Lynch, Nancy A. |
|
1981 |
23 |
2 |
p. 254-278 25 p. |
artikel |