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

卷期号： Issue 56

发布时间：

卷期年份： 1967

卷期官网：

Some New Results in Pseudo-Random Number Generation.

Nondeterministic Algorithms.

Real-Time Definable Languages.

An Algorithm for Reconstructing Protein and RNA Sequences.

Morphology of "Information Flow".

Periodic Decomposition of Sequential Machines.

On a Continuous Method of Approximating Solutions of the Heat Equation.

Automatic Theorem Proving With Renamable and Semantic Resolution.

On Computing the Fixed-Point Probability Vector of Ergodic Transition Matrices.

Minimal Experiments for Input-Independent Machines.

The Solvability of the Halting Problem for 2-State Post Machines.

On Memory Requirements for Context-Free Language Recognition.

The Concept of Demodulation in Theorem Proving.

Matrix Inversion Using Parallel Processing.

Solution of Ordinary Differential Equations Using Two "Off-Step" Points.

Programming Language for Automata.

On the Time Required to Perform Multiplication.

Conversion of Limited-Entry Decision Tables to Optimal Computer Programs II: minimum storage requirement.