| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An optimal algorithm for distributed snapshots with causal message ordering
|
Alagar, Sridhar
|
|
1994
|
50 |
6 |
p. 311-316
6 p.
|
artikel
|
| 2 |
An optimal lower bound for nonregular languages
|
Bertoni, Alberto
|
|
1994
|
50 |
6 |
p. 289-292
4 p.
|
artikel
|
| 3 |
A note on a proposed LALR parser for extended context-free grammars
|
Gálvez, JoséFortes
|
|
1994
|
50 |
6 |
p. 303-305
3 p.
|
artikel
|
| 4 |
A recursion theorem for predicate transformers on inductive data types
|
Naumann, David A.
|
|
1994
|
50 |
6 |
p. 329-336
8 p.
|
artikel
|
| 5 |
Author Index Volume 50 (1994)
|
|
|
1994
|
50 |
6 |
p. 343-345
3 p.
|
artikel
|
| 6 |
Counting the number of fault patterns in redundant VLSI arrays
|
Pagli, Linda
|
|
1994
|
50 |
6 |
p. 337-342
6 p.
|
artikel
|
| 7 |
Finding lowest common ancestors in arbitrarily directed trees
|
Nykänen, Matti
|
|
1994
|
50 |
6 |
p. 307-310
4 p.
|
artikel
|
| 8 |
Infinite words and biprefix codes
|
Pirillo, Giuseppe
|
|
1994
|
50 |
6 |
p. 293-295
3 p.
|
artikel
|
| 9 |
IPL's policy on complexity results
|
|
|
1994
|
50 |
6 |
p. 287-
1 p.
|
artikel
|
| 10 |
Minimal fully adaptive wormhole routing on hypercubes
|
Lin, Chiu-Chuan
|
|
1994
|
50 |
6 |
p. 297-301
5 p.
|
artikel
|
| 11 |
On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs
|
Gergov, Jordan
|
|
1994
|
50 |
6 |
p. 317-322
6 p.
|
artikel
|
| 12 |
Uniform generation of forests of restricted height
|
Atkinson, M.D.
|
|
1994
|
50 |
6 |
p. 323-327
5 p.
|
artikel
|
Tijdschrift beschrijving