Iterative Procedures for Nonlinear Integral Equations.
Automatic Subject Recognition in Scientific Papers: An Empirical Study.
On Formalisms for Turing Machines.
Updating the Product Form of the Inverse for the Revised Simplex Method.
Backtrack Programming.
Groups of Automorphisms and Sets of Equivalence Classes of Input for Automata.
On Mappings for Modular Arithmetic, II.
On the Automorphism Group of an Automaton.
Is Automatic Classification a Reasonable Application of Statistical Analysis of Text?
Segmentation and the Design of Multiprogrammed Computer Systems.
An Investigation of Some Computational Aspects of Integer Programming.
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.
Morphological Classification in the National Bureau of Standards Mechanical Translation System.
On Mappings for Modular Arithmetic, I.
Analysis of Real Time Multiprogramming.