Further Results on the Structure of Sequential Machines.
A Method for Obtaining Suboptimal Group-Testing Policies Using Dynamic Programming and Information Theory.
The Number of Classes of Invertible Boolean Functions.
Some Recursively Unsolvable Problems in ALGOL-Like Languages.
A Semi-Decision Procedure for the Functional Calculus.
On the Danilewski Method.
On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems.
On a Weight Distribution Problem, with Application to the Design of Stochastic Generators.
On the Numerical Solution of Fredholm Integral Equations of the First Kind by the Inversion of the Linear System Produced by Quadrature.