Journal of the ACM （JOLACM） - Issue 108 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 108 |
| 发布时间： |
| 卷期年份： 1981 |
| 卷期官网： |
本期论文列表
Derivation of Logic Programs.
Summation in Finite Terms.
A Decision Procedure for the Correctness of a Class of Programs.
A Note on Multiple Error Detection in ASCII Numeric Data Communication.
Expected Length of the Longest Probe Sequence in Hash Code Searching.
Complete Sets of Reductions for Some Equational Theories.
Optimal Design of Linear Storage Hierarchies.
Measurement Bias in Feedback Queues.
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution.
Theorem Proving via General Matings.
The Distribution of Queuing Network States at Input and Output Instants.
Complexity of Partial Satisfaction.