0004-5411

Journal of the ACM (JOLACM) - Issue 66 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 66
发布时间:
卷期年份: 1970
卷期官网:
本期论文列表
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.