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