Multitape AFA.
Addressable Data Graphs.
On the Maximization of a Pseudo-Boolean Function.
Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems.
Corrections to Bierstone's Algorithm for Generating Cliques.
Recursive Properties of Abstract Complexity Classes.
One-Pass Complexity of Digital Picture Properties.
Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus.
A Unifying View of Some Linear Herbrand Procedures.
Sorting Using Networks of Queues and Stacks.
A Note on Bracketed Grammars.
Weak and Mixed Strategy Precedence Parsing.