0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 167
发布时间:
卷期年份: 1995
卷期官网:
本期论文列表
NP Trees and Carnap's Modal Logic.

On the Average Communication Complexity of Asynchronous Distributed Algorithms.

Las Vegas Algorithms for Linear and Integer Programming when the Dimension is Small.

Three Logics for Branching Bisimulation.

The Isomorphism Conjecture Fails Relative to a Random Oracle.

Provably Correct Theories of Action.

Nearly Optimal Algorithms and Bounds for Multilayer Channel Routing.

Decomposition of Magic Rewriting.

A Randomized Linear-Time Algorithm to Find Minimum Spanning Trees.