Linear Multistep Methods for Volterra Integro-Differential Equations.
Experiments With Some Programs That Search Game Trees.
Lattice Approximations to the Minima of Functions of Several Variables.
Toward a Theory of Enumerations.
Inversion of Matrices by Partitioning.
The Time Required for Group Multiplication.
Automorphisms of Polyadic Automata.
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.
Synchronizations and General Repetitive Machines, with Applications to Ultimate Definite Automata.
Properties of Programs and the First-Order Predicate Calculus.
Translation Networks and Function Composition.
A Note on Star-Free Events.
A Time-Sharing Queue with a Finite Number of Customers.
A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language.
New Methods in Automatic Extracting.