nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A hierarchy of propositional Horn formulas
|
Chlebus, Bogdan S. |
|
1989 |
68 |
1 |
p. 113-119 7 p. |
artikel |
2 |
An NC algorithm for Brooks' Theorem
|
Karloff, Howard J. |
|
1989 |
68 |
1 |
p. 89-103 15 p. |
artikel |
3 |
Editorial Board
|
|
|
1989 |
68 |
1 |
p. ii-iii nvt p. |
artikel |
4 |
Efficient simulations of simple models of parallel computation by time-bounded ATMs and space-bounded TMs
|
Chang, Jik H. |
|
1989 |
68 |
1 |
p. 19-36 18 p. |
artikel |
5 |
Euclidian geometry in terms of automata theory
|
Huckenbeck, Ulrich |
|
1989 |
68 |
1 |
p. 71-87 17 p. |
artikel |
6 |
Event structures and domains
|
Droste, Manfred |
|
1989 |
68 |
1 |
p. 37-47 11 p. |
artikel |
7 |
Left ideals and reachability in machines
|
Hofer, Gerhard |
|
1989 |
68 |
1 |
p. 49-56 8 p. |
artikel |
8 |
On the balance property of Patricia tries: External path length viewpoint
|
Kirschenhofer, Peter |
|
1989 |
68 |
1 |
p. 1-17 17 p. |
artikel |
9 |
The semantics of lazy functional languages
|
Josephs, Mark B. |
|
1989 |
68 |
1 |
p. 105-111 7 p. |
artikel |
10 |
Worst-case analysis of the set-union problem with extended backtracking
|
Gambosi, Giorgio |
|
1989 |
68 |
1 |
p. 57-70 14 p. |
artikel |