Journal of the ACM （JOLACM） - Issue 156 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 156 |
| 发布时间： |
| 卷期年份： 1993 |
| 卷期官网： |
本期论文列表
Efficient Decision Procedures for Graph Properties on Centext-Free Graph Languages.
Automatic Recognition of Tractability in Inference Relations.
The Cost of Conservative Synchronization in Parallel Discrete Event Simulations.
On the Complexity of Functions for Random Access Machines.
Taxonomic Syntax for First Order Inference.
An Execution/Sleep Scheduling Policy for Serving an Additional Job in Priority Queueing Systems.
Recontamination Does Not Help to Search a Graph.
Simulating Synchronized Clocks and Common Knowledge in Distributed Systems.