Corrigendum: "Some Topics in Code Optimization".
The Parallel Evaluation of General Arithmetic Expressions.
A Modified List Technique Allowing Binary Search.
Further Results on the Problem of Finding Minimal Length Programs for Decision Tables.
Bernstein-Bézier Methods for the Computer-Aided Design of Free-Form Curves and Surfaces.
A New Class of Automated Theorem-Proving Algorithms.
The Solution of a Toeplitz Set of Linear Equations.
Computing Partitions with Applications to the Knapsack Problem.
Erratum: "A Local Visual Operator Which Recognizes Edges and Lines".
Grammar Schemata.
Efficient Storage and Retrieval by Content and Address of Static Files.
Calculating the Eigenvectors of Diagonally Dominant Matrices.
A Document Storage Method Based on Polarized Distance.
Some Binary Derivation Systems.
Comments on a Paper by Gaver.
Synthesis of a Feedback Queueing Discipline for Computer Operation.
Priority Disciplines in a Loop System.
Efficiency of Chebyshev Approximation on Finite Subsets.
Application of the Diffusion Approximation to Queueing Networks I: Equilibrium Queue Distributions.