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

卷期号： Issue 112

发布时间：

卷期年份： 1982

卷期官网：

Upper Bounds for Speedup in Parallel Parsing.

Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants.

Maximum Processing Rates of Memory Bound Systems.

On Database Logic.

The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions.

Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization.

A Complete Axiomatization of Full Join Dependencies.

Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions.

The complexity of restricted spanning tree problems.

Axiomatic Definitions of Programming Languages: A Theoretical Assessment.

On the Decidability of Grammar Problems.

An Approach to Program Behavior Modeling and Optimal Memory Control.

A Generalization of Ogden's Lemma.

Useless Actions Make a Difference: Strict Serializability of Database Updates.

A Finite-Source Queue with Different Customers.

The Performance of Job Classes with Distinct Policy Functions.

Determination of the conditional response for quantum allocation algorithms.

On the Equivalence of Database Models.