Regularity and Related Problems for Deterministic Pushdown Automata.
An Algorithm for Finding a Minimal Equivalent Graph of a Digraph.
Proving Theorems about LISP Functions.
An Analysis of Drum Storage Units.
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts.
On Computing the Exact Determinant of Matrices with Polynomial Entries.
Exact, Approximate, and Guaranteed Accuracy Algorithms for the Flow-Shop Problem n/2/F/\bar F.
The Change-Making Problem.
High Order Search Methods for Finding Roots.
On the Structure of Polynomial Time Reducibility.
Errata: "Performance of Movable-Head Disk Storage Devices".
Approximate Algorithms for the 0/1 Knapsack Problem.
A Metalgorithm for Adaptive Quadrature.
A Formal Construction of Term Classes.