0004-5411

Journal of the ACM (JOLACM) - Issue 62 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 62
发布时间:
卷期年份: 1969
卷期官网:
本期论文列表
Linear Multistep Methods for Volterra Integro-Differential Equations.

Experiments With Some Programs That Search Game Trees.

Lattice Approximations to the Minima of Functions of Several Variables.

Toward a Theory of Enumerations.

Inversion of Matrices by Partitioning.

The Time Required for Group Multiplication.

Automorphisms of Polyadic Automata.

The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

Synchronizations and General Repetitive Machines, with Applications to Ultimate Definite Automata.

Properties of Programs and the First-Order Predicate Calculus.

Translation Networks and Function Composition.

A Note on Star-Free Events.

A Time-Sharing Queue with a Finite Number of Customers.

A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language.

New Methods in Automatic Extracting.