Journal of the ACM （JOLACM） - Issue 161 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 161 |
| 发布时间： |
| 卷期年份： 1994 |
| 卷期官网： |
本期论文列表
The Elusive Atomic Register.
Tight Lower Bounds for Probabilistic Solitude Verification on Anonymous Rings.
Parallel Linear Programming in Fixed Dimension Almost Surely in Constant Time.
Faster Tree Pattern Matching.
An Analysis of ML Typability.
Optimal Algorithms for Parallel Givens Factorization on a Coarse-Grained PRAM.
Biconnectivity Approximations and Graph Carvings.
Reasoning About Knowledge and Probability.
Equational Inference, Canonical Proofs, and Proof Orderings.