Nonlinear Interpolation of Multivariable Functions by the Monte Carlo Method.
Legality and Other Properties of Graph Models of Computations.
Tree Structures for Optimal Searching.
Interpolation Theorems for Resolution in Lower Predicate Calculus.
The Use of Information in Sorting.
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness.
An Initial-Value Theory for Fredholm Integral Equations With Semidegenerate Kernels.
On the Approximate Solution of Free Boundary Problems Using Finite Differences.
Nonlinear Regression With Linear Constraints: An Extension of the Magnified Diagonal Method.
Controllability of Nonlinear Sequential Networks.
Samplesort: A Sampling Approach to Minimal Storage Tree Sorting.
Formalization of Properties of Functional Programs.
Optimization of Memory Hierarchies in Multiprogrammed Systems.
Parsing of Graph-Representable Pictures.