Mixed Congruential Random Number Generators for Decimal Machines.
Erratum: "On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems".
A State Variable Assignment Method for Asynchronous Sequential Switching Circuits.
On the Coding of Jacobi's Method for Computing Eigenvalues and Eigenvectors of Real Symmetric Matrices.
Theorem-Proving on the Computer.
Formulas for Computing Incomplete Elliptic Integrals of the First and Second Kinds.
Detection of Generative Ambiguities in Context-Free Mechanical Languages.
Computability of Recursive Functions.
Operations Which Preserve Definability in Languages.
A Simple Sorting Algorithm.
Automatic Document Classification.