Volume 17, Number 1, January 1970
Arnold L. Rosenberg
: A Note on Ambiguity of Context-Free Languages and Presentations of Semilinear Sets.
Philip J. Rasch
: A Queueing Theory Study of Round-Robin Scheduling of Time-Shared Computer Systems.
Melvin A. Breuer
: Simplification of the Covering Problem with Application to Boolean Expressions.
Volume 17, Number 2, April 1970
: Form and Content in Computer Science (1970 ACM turing lecture).
Arthur J. Nevins
: A Programming Language With Automatic Goal Generation and Selection.
David G. Willis
: Computational Complexity and Probability Constructions.
: Sequences of Numbers That Are Approximately Completely Equidistributed.
: Methods of Search for Solving Polynomial Equations.
H. S. Rahme
: Stability Analysis of a New Algorithm Used for Integrating a System of Ordinary Differential Equations.
: Application of the Method of Lines to Parabolic Partial Differential Equations With Error Estimates.
Richard H. Roth
: An Approach to Solving Linear Discrete Optimization Problems.
L. E. N. Delbrouck
: A Feedback Queueing System With Batch Arrivals, Bulk Service, and Queue-Dependent Service Time.
: The Logical Complexity of Geometric Properties in the Plane.
: On Limit Properties in Digitization Schemes.
B. L. Fox
: Accelerating List Processing in Discrete Programming.
Volume 17, Number 3, July 1970
Colin W. Cryer
: On the Approximate Solution of Free Boundary Problems Using Finite Differences.
, Kozo Ichida
: Nonlinear Interpolation of Multivariable Functions by the Monte Carlo Method.
Richard I. Shrager
: Nonlinear Regression With Linear Constraints: An Extension of the Magnified Diagonal Method.
Alan C. Shaw
: Parsing of Graph-Representable Pictures.
James R. Slagle
: Interpolation Theorems for Resolution in Lower Predicate Calculus.
Volume 17, Number 4, October 1970
: A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures.
: A Method for Solving Large Matrix Equations Reduced From Fredholm Integral Equations of the Second Kind.
Brian T. Smith
: Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems.
Pierre E. Bonzon
: Necessary and Sufficient Conditions for Dynamic Programming of Combinatorial Type.
: The Unit Proof and the Input Proof in Theorem Proving.
Jerzy W. Grzymala-Busse
: Errata: ``On the Periodic Representations and the Reducibility of Periodic Automata''.