nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An efficient algorithm for some tree matching problems
|
Luccio, Fabrizio |
|
1991 |
39 |
1 |
p. 51-57 7 p. |
artikel |
2 |
An NL hierarchy
|
Chen, Jianer |
|
1991 |
39 |
1 |
p. 21-26 6 p. |
artikel |
3 |
Axiomatic semantics for “escape” statements
|
Olsson, Ronald A. |
|
1991 |
39 |
1 |
p. 27-33 7 p. |
artikel |
4 |
Broadcasting in the Butterfly network
|
Stöhr, Elena |
|
1991 |
39 |
1 |
p. 41-43 3 p. |
artikel |
5 |
Concerning the size of logical clocks in distributed systems
|
Charron-Bost, Bernadette |
|
1991 |
39 |
1 |
p. 11-16 6 p. |
artikel |
6 |
Editorial Board
|
|
|
1991 |
39 |
1 |
p. ii- 1 p. |
artikel |
7 |
Efficient deduction in equality Horn logic by Horn-completion
|
Nieuwenhuis, Robert |
|
1991 |
39 |
1 |
p. 1-6 6 p. |
artikel |
8 |
Lower bounds for planar orthogonal drawings of graphs
|
Tamassia, Roberto |
|
1991 |
39 |
1 |
p. 35-40 6 p. |
artikel |
9 |
On random oracle separations
|
Book, Ronald V. |
|
1991 |
39 |
1 |
p. 7-10 4 p. |
artikel |
10 |
Optimal superprimitivity testing for strings
|
Apostolico, Alberto |
|
1991 |
39 |
1 |
p. 17-20 4 p. |
artikel |
11 |
Proving correctness with respect to nondeterministic safety specifications
|
Sistla, A.P. |
|
1991 |
39 |
1 |
p. 45-49 5 p. |
artikel |