Journal of the ACM （JOLACM） - Issue 82 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 82 |
| 发布时间： |
| 卷期年份： 1974 |
| 卷期官网： |
本期论文列表
Linear Least Squares by Elimination and MGS.
Allocating Storage for Extendible Arrays.
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.
A Search Procedure for Hamilton Paths and Circuits.
Optimal Order of One-Point and Multipoint Iteration.
Efficient Planarity Testing.
On the Parsing of Deterministic Languages.
Testing for the Church-Rosser Property.
Unit Refutations and Horn Sets.
An Optimal Algorithm to Detect a Line Graph and Output Its Root Graph.
A Human Oriented Logic for Automatic Theorem-Proving.
The Undecidability of the Existence of Zeros of Real Elementary Functions.
An Analysis of Some Relationships Between Post and Boolean Algebras.