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

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