| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An efficient deadlock avoidance algorithm
|
Finkel, Raphael
|
|
1987
|
24 |
1 |
p. 25-30
6 p.
|
article
|
| 2 |
An O(n2) algorithm for the satisfiability problem of a subset of propositional sentences in CNF that includes all horn sentences
|
Arvind, V.
|
|
1987
|
24 |
1 |
p. 67-69
3 p.
|
article
|
| 3 |
An O(n log n log log n) parallel maximum matching algorithm for bipartite graphs
|
Kim, Taenam
|
|
1987
|
24 |
1 |
p. 15-17
3 p.
|
article
|
| 4 |
Binary search networks: A new method for key searching
|
Yuba, Toshitsugu
|
|
1987
|
24 |
1 |
p. 59-65
7 p.
|
article
|
| 5 |
ECLR-attributed grammars: A practical class of LR-attributed grammars
|
Sassa, Masataka
|
|
1987
|
24 |
1 |
p. 31-41
11 p.
|
article
|
| 6 |
Editorial Board
|
|
|
1987
|
24 |
1 |
p. iii-
1 p.
|
article
|
| 7 |
How to prove representation-independent independence results
|
Kurtz, Stuart A.
|
|
1987
|
24 |
1 |
p. 5-10
6 p.
|
article
|
| 8 |
In-situ inversion of a cyclic permutation
|
Feijen, W.H.J.
|
|
1987
|
24 |
1 |
p. 11-14
4 p.
|
article
|
| 9 |
Multiple cuts, input repetition, and VLSI complexity
|
Hochschild, Peter
|
|
1987
|
24 |
1 |
p. 19-24
6 p.
|
article
|
| 10 |
Predicate transfer and timeout in message passing systems
|
Bernstein, A.J.
|
|
1987
|
24 |
1 |
p. 43-52
10 p.
|
article
|
| 11 |
The alpha-beta algorithm: An exercise in program transformation
|
Bird, R.S.
|
|
1987
|
24 |
1 |
p. 53-57
5 p.
|
article
|
| 12 |
Weighted grammars and Kleene's theorem
|
Alexandrakis, Athanasios
|
|
1987
|
24 |
1 |
p. 1-4
4 p.
|
article
|
Journal description