Journal of the ACM （JOLACM） - Issue 112 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： 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.