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