Journal of the ACM （JOLACM） - Issue 76 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 76 |
| 发布时间： |
| 卷期年份： 1973 |
| 卷期官网： |
本期论文列表
A Complete Mechanization of Second-Order Type Theory.
Optimal Covering Algorithms in Methods of Search for Solving Polynomial Equations.
A Formalization of Transition Diagram Systems.
Note on a Lower Bound on the Linear Complexity of the Fast Fourier Transform.
Optimization of Static Loading and Sizing of Multilevel Memory Systems.
Recent Studies in Automatic Text Analysis and Document Retrieval.
Canonical Precedence Schemes.
Set Covering by an All Integer Algorithm: Computational Experience.
Benefit-Cost Analysis of Coding Techniques for the Primal Transportation Algorithm.
Efficient Exercising of Switching Elements in Combinatorial Nets.
Best Least Squares Solutions to Finite Difference Equations Using the Generalized Inverse and Tensor Product Methods.
A Midpoint Phenomenon.