A Translator-Oriented Symbolic Programming Language.
On The Ambiguity Problem of Backus Systems.
Matrices Associated With the Hitchcock Problem.
On Approximation Methods for the Assignment Problem.
Correction and Addendum: "Organization of a 'Fixed-Plus-Variable' Structure Computer for Computation of Eigenvalues and Eigenvectors of Real Symmetric Matrices".
Algorithms for Parallel-Search Memories.
Isomorphism Groups of Automata.
Stability Properties of Predictor-Corrector Methods for Ordinary Differential Equations.
An Algorithm for the Numerical Application of a Linear Operator.
Alternating Direction Methods for Parabolic Systems in m Space Variables.
Information Retrieval Based upon Latent Class Analysis.