Quasi-Newton Methods for Nonlinear Equations.
Common Solutions for n Matrix Equations With Applications.
Structuring of Parallel Algorithms.
Computational Complexity of One-Tape Turing Machine Computations.
Corrigendum: "A Permutation Network".
Mechanical Theorem-Proving by Model Elimination.
A Bidirectional Simplex Algorithm.
Generalized Pair Algebra With Applications to Automata Theory.
Decidable and Undecidable Questions About Automata.
A Remark on Acceptable Sets of Numbers.
Analysis in the Computable Number Field.
A Formalism for Program Translation.
The Perspective Representation of Functions of Two Variables.
A Mathematical Model for the Analysis of Contour-Line Data.
An Adaptation of the Fast Fourier Transform for Parallel Processing.