nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A consistent extension of the lambda-calculus as a base for functional programming languages
|
Berkling, Klaus J. |
|
1982 |
55 |
1-3 |
p. 89-101 13 p. |
artikel |
2 |
A note on deterministic and nondeterministic time complexity
|
Even, Shimon |
|
1982 |
55 |
1-3 |
p. 117-124 8 p. |
artikel |
3 |
A tight ω(loglog n)-bound on the time for parallel RAM's to compute nondegenerated boolean functions
|
Simon, Hans-Ulrich |
|
1982 |
55 |
1-3 |
p. 102-107 6 p. |
artikel |
4 |
Author index for volume 55
|
|
|
1982 |
55 |
1-3 |
p. 265-266 2 p. |
artikel |
5 |
Channel distances and representation
|
Neuhoff, D.L. |
|
1982 |
55 |
1-3 |
p. 238-264 27 p. |
artikel |
6 |
Circuit-size lower bounds and non-reducibility to sparse sets
|
Kannan, R. |
|
1982 |
55 |
1-3 |
p. 40-56 17 p. |
artikel |
7 |
Cumulative subject index volumes 52-55
|
|
|
1982 |
55 |
1-3 |
p. 267-275 9 p. |
artikel |
8 |
Editorial Board
|
|
|
1982 |
55 |
1-3 |
p. i- 1 p. |
artikel |
9 |
Fair derivations in context-free grammars
|
Porat, Sara |
|
1982 |
55 |
1-3 |
p. 108-116 9 p. |
artikel |
10 |
How to reuse a “write-once≓ memory
|
Rivest, Ronald L. |
|
1982 |
55 |
1-3 |
p. 1-19 19 p. |
artikel |
11 |
Looping vs. repeating in dynamic logic
|
Harel, D. |
|
1982 |
55 |
1-3 |
p. 175-192 18 p. |
artikel |
12 |
On efficient simulations of multicounter machines
|
Vitnyi, Paul M.B. |
|
1982 |
55 |
1-3 |
p. 20-39 20 p. |
artikel |
13 |
On the security of ping-pong protocols
|
Dolev, D. |
|
1982 |
55 |
1-3 |
p. 57-68 12 p. |
artikel |
14 |
On the unique satisfiability problem
|
Blass, Andreas |
|
1982 |
55 |
1-3 |
p. 80-88 9 p. |
artikel |
15 |
The enumeration of certain run length sequences
|
Blake, Ian F. |
|
1982 |
55 |
1-3 |
p. 222-237 16 p. |
artikel |
16 |
The inference problem for template dependencies
|
Gurevich, Yuri |
|
1982 |
55 |
1-3 |
p. 69-79 11 p. |
artikel |
17 |
The theory of fringe analysis and its application to 23 trees and b-trees
|
Eisenbarth, Bernhard |
|
1982 |
55 |
1-3 |
p. 125-174 50 p. |
artikel |
18 |
Two-dimensional alternating turing machines with only universal states
|
Ito, Akira |
|
1982 |
55 |
1-3 |
p. 193-221 29 p. |
artikel |