|
Journals in DBLP
J. ACM 1967, volume: 14, number: 4
- Donald E. Knuth, Richard H. Bigelow
Programming Language for Automata. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:615-635 [Journal]
- Robert W. Floyd
Nondeterministic Algorithms. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:636-644 [Journal]
- Arnold L. Rosenberg
Real-Time Definable Languages. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:645-662 [Journal]
- Juris Hartmanis
On Memory Requirements for Context-Free Language Recognition. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:663-665 [Journal]
- Arthur Gill, J. Robert Flexer
Periodic Decomposition of Sequential Machines. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:666-676 [Journal]
- Stål Aanderaa, Patrick C. Fischer
The Solvability of the Halting Problem for 2-State Post Machines. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:677-682 [Journal]
- Bruce H. Barnes, John M. Fitzgerald
Minimal Experiments for Input-Independent Machines. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:683-686 [Journal]
- James R. Slagle
Automatic Theorem Proving With Renamable and Semantic Resolution. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:687-697 [Journal]
- Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla
The Concept of Demodulation in Theorem Proving. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:698-709 [Journal]
- Robert A. Fairthorne
Morphology of ``Information Flow''. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:710-719 [Journal]
- Marvin B. Shapiro
An Algorithm for Reconstructing Protein and RNA Sequences. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:720-731 [Journal]
- Vincent G. Sigillito
On a Continuous Method of Approximating Solutions of the Heat Equation. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:732-741 [Journal]
- Lewis T. Reinwald, Richard M. Soland
Conversion of Limited-Entry Decision Tables to Optimal Computer Programs II: minimum storage requirement. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:742-756 [Journal]
- Marshall C. Pease
Matrix Inversion Using Parallel Processing. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:757-764 [Journal]
- Patrick L. Odell, E. P. Decell
On Computing the Fixed-Point Probability Vector of Ergodic Transition Matrices. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:765-768 [Journal]
- D. G. Brush, John J. Kohfeld, Gene Thomas Thompson
Solution of Ordinary Differential Equations Using Two "Off-Step" Points. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:769-784 [Journal]
- Allen Van Gelder
Some New Results in Pseudo-Random Number Generation. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:785-792 [Journal]
- Shmuel Winograd
On the Time Required to Perform Multiplication. [Citation Graph (0, 0)][DBLP] J. ACM, 1967, v:14, n:4, pp:793-802 [Journal]
|