The Unsolvability of the Equivalence Problem for Lambda-Free Nondeterministic Generalized Machines.
On the Recognition of Primes by Automata.
A Procedure for Detecting Intersections of Three-Dimensional Objects.
A Universal Syntax-Directed Top-Down Analyzer.
Corrigendum: "PL360, a Programming Language for the 360 Computers".
Syntax-Directed Transduction.
Relations Between Time and Tape Complexities.
A Modification of Nordsieck's Method Using an "Off-Step" Point.
Analysis of Two Time-Sharing Algorithms Designed for Limited Swapping.
Resolution With Merging.
Inversion of Modified Symmetric Matrices.
One-way nondeterministic real-time list-storage languages.