Outline for a Logical Theory of Adaptive Systems.
Oscillating Sort - A New Sort Merging Technique.
Single Function Shifting Counters.
Cumulative Binomial Probabilities.
A Method for Obtaining Specific Values of Compiling-Parameter Functions.
Two Families of Languages Related to ALGOL.
Multiple Reduction of Variable Dependency of Sequential Machines.
Management Techniques for Real Time Computer Programming.
The Structure of an Automaton and Its Operation-Preserving Transformation Group.
A Decision Procedure for Computations of Finite Automata.