Journal of the ACM（JOLACM ）的ISSUE 161论文列表

卷期号： 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.