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

卷期号： Issue 75

发布时间：

卷期年份： 1973

卷期官网：

A-Stable Composite Multistep Methods.

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment.

Mathematical Models for Automatic Line Detection.

The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.

Upper Bounds for the Total Path Length of Binary Trees.

An Efficient Parallel Algorithm for the Solution of a Tridiagonal Linear System of Equations.

Z-Resolution: Theorem-Proving with Compiled Axioms.

Tree-Manipulating Systems and Church-Rosser Theorems.

Efficient Exercising of Switching Elements in Nets of Identical Gates.

Arcs and Curves in Digital Pictures.

Errata: "An axiomatic approach to code optimization for Expressions".

A Combinatorial Problem Related to Interleaved Memory Systems.

A Class of Merging Algorithms.