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'.