0004-5411

Journal of the ACM （JOLACM） - Issue 154 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号： Issue 154
发布时间：
卷期年份： 1992
卷期官网：
本期论文列表
A VLSI Decomposition of the deBruijn Graph.

Nonoblivious Hashing.

Algebraic Methods for Interactive Proof Systems.

IP = PSPACE.

Efficient Dataflow Analysis of Logic Programs.

On the Correctness of Orphan Management Algorithms.

The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels.

Finite State Verifiers II: Zero Knowledge.

Finite State Verifiers I: The Power of Interaction.

IP = PSPACE: Simplified Proof.

An Optimal On-Line Algorithm for Metrical Task System.

Corrigenda: 'A General Approach to Connected-Component Labelling for Arbitrary Image Representations'.