BE VISION, A Package of IBM 7090 FORTRAN Programs to Draw Orthographic Views of Combinations of Plane and Quadric Surfaces.
On the Class of Predicates Decidable by Two-Way Multitape Finite Automata.
Boundary Value Techniques for the Numerical Solution of Certain Initial Value Problems in Ordinary Differential Equations.
Sequential Processing Machines (S.P.M) Analyzed With a Queuing Theory Model.
Analysis of Graphs by Connectivity Considerations.
A Theory of Computer Instructions.
The Solvability of the Derivability Problem for One-Normal Systems.
Unrecognizable Sets of Numbers.
A Mechanical Analysis of the Cyclic Structure of Undirected Linear Graphs.
The Synthesis of Recursive Digital Filters.
Some Results on Multicategory Pattern Recognition.
Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials.