Volume 14, Number 1, January 1967
Carl H. Brans
: A Computer Program for the Nonnumerical Testing and Reduction of Sets of Algebraic Partial Differential Equations.
G. W. Stewart
: A Modification of Davidon's Minimization Method to Accept Difference Approximations of Derivatives.
John C. Butcher
: A Multistep Generalization of Runge-Kutta Methods With Four or Five Stages.
: Modified Multistep Methods Based on a Nonpolynomial Interpolant.
Volume 14, Number 2, April 1967
Jack E. Shemer
: Some Mathematical Considerations of Time-Sharing Scheduling Algorithms.
, Gerald Estrin
: Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations.
J. B. Moore
: A Convergent Algorithm for Solving Polynomial Algorithms.
: A Machine-Independent Theory of the Complexity of Recursive Functions.
W. J. Westlake
: A Uniform Random Number Generator Based on the Combination of Two Congruential Generators.
O. G. Mancino
: Resolution by Iteration of Some Nonlinear Systems.
Fred T. Krogh
: A Test for Instability in the Numerical Solution of Ordinary Differential Equations.
: A Procedure for Checking Equality of Regular Expressions.
Colin W. Cryer
: On the Numerical Solution of a Quasi-Linear Elliptic Equation.
: Irreducible Topological Components of an Arbitrary Boolean Truth Function and Generation of Their Minimal Coverings.
H. E. Pickett
: Note Concerning the Algebraic Theory of Automata.
Gerard P. Weeg
: Corrigendum: `` The Automorphism Group of the Direct Product of Strongly Related Automata''.
Volume 14, Number 3, July 1967
Donald P. Gaver
: Probability Models for Multiprogramming Computer Systems.
Richard M. Karp
: Some Bounds on the Storage Requirements of Sequential Machines and Turing Machines.
: Analysis of Factorial Experiments Using Generalized Matrix Operations.
: A Method for Constructing Circuit Codes.
Frederic J. Mowle
: An Algorithm for Generating Stable Feedback Shift Registers of Order n.
J. L. Rigal
, J. Gaches
: On the Compatibility of a Given Solution With the Data of a Linear System.
J. S. Hicks
, J. Wei
: Numerical Solution of Parabolic Partial Differential Equations With Two-Point Boundary Conditions by Use of the Method of Lines.
Volume 14, Number 4, October 1967
: On Memory Requirements for Context-Free Language Recognition.
James R. Slagle
: Automatic Theorem Proving With Renamable and Semantic Resolution.
Marvin B. Shapiro
: An Algorithm for Reconstructing Protein and RNA Sequences.
Vincent G. Sigillito
: On a Continuous Method of Approximating Solutions of the Heat Equation.