Journal of the ACM（JOLACM ）的ISSUE 156论文列表

卷期号： 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.