Volume 13, Number 1, January 1966
A. P. Yershóv
: ALPHA - An Automatic Programming System of High Efficiency.
: Realization of Input-Output Relations by Sequential Machines.
R. N. Maddison
: A Procedure for Nonlinear Least Squares Refinement in Adverse Practical Conditions.
C. A. Barlow Jr.
, E. L. Jones
: A Method for the Solution of Roots of a Nonlinear Equation and for Solution of the General Eigenvalue Problem.
: Two Complete Axiom Systems for the Algebra of Regular Events.
Volume 13, Number 2, April 1966
: Sequential Processing Machines (S.P.M) Analyzed With a Queuing Theory Model.
Ruth A. Weiss
: BE VISION, A Package of IBM 7090 FORTRAN Programs to Draw Orthographic Views of Combinations of Plane and Quadric Surfaces.
John T. Welch Jr.
: A Mechanical Analysis of the Cyclic Structure of Undirected Linear Graphs.
Stephen A. Cook
: The Solvability of the Derivability Problem for One-Normal Systems.
Riaz A. Usmani
: Boundary Value Techniques for the Numerical Solution of Certain Initial Value Problems in Ordinary Differential Equations.
: Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials.
W. W. Bledsoe
: Some Results on Multicategory Pattern Recognition.
Volume 13, Number 3, July 1966
Sigmund N. Porter
: Use of Multiwrite for General Programmability of Search Memories.
Fred T. Krogh
: Predictor-Corrector Methods of High Order With Improved Stability Characteristics.
William T. Weeks
: Numerical Inversion of Laplace Transforms Using Laguerre Functions.
: On the ``Reverse Order Law'' Related to the Generalized Inverse of Matrix Products.
D. L. Overheu
: An Abstract Machine for Symbolic Computation.
Volume 13, Number 4, October 1966
Edward B. Anders
: An Extension of Romberg Integration Procedures to N-Variables.
Satya D. Dubey
: Statistical Determination of Certain Mathematical Constants and Functions Using Computers.
Gregory J. Chaitin
: On the Length of Programs for Computing Finite Binary Sequences.
Sheila A. Greibach
: The Unsolvability of the Recognition of Linear Context-Free Languages.
C. D. Negron
: Digital One-Third Octave Spectral Analysis.