Journal of the ACM （JOLACM） - Issue 132 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 132 |
| 发布时间： |
| 卷期年份： 1987 |
| 卷期官网： |
本期论文列表
Decidability of the purely existential fragment of the theory of term algebras.
Concurrent dynamic logic.
Recognizing planar perfect graphs.
Answering queries on embedded-complete database schemes.
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels.
Linear probing with a nonuniform address distribution.
Inference with path resolution and semantic graphs.
Associative table lookup processing for multioperand residue arithmetic.
A model for distributed systems based on graph rewriting.
Minimal degrees for polynomial reducibilities.
Optimal reconfiguration strategy for a degradable multimodule computing system.