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