0004-5411

Journal of the ACM (JOLACM) - Issue 173 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 173
发布时间:
卷期年份: 1996
卷期官网:
本期论文列表
Sorting on a Parallel Pointer Machine with Applications to Set Expression Evaluation.

Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.

Unreliable Failure Detectors for Reliable Distributed Systems.

Knowledge Compilation and Theory Approximation.

Optimal Emulations by Butterfly-Like Networks.

Interactive Proofs and the Hardness of Approximating Cliques.