|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| 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 |
18 gevonden resultaten