Journal of the ACM（JOLACM ）的ISSUE 100论文列表

卷期号： Issue 100

发布时间：

卷期年份： 1979

卷期官网：

A Purely Homomorphic Characterization of Recursively Enumerable Sets.

A Fast Merging Algorithm.

A Practical Decision Procedure for Arithmetic with Function Symbols.

A Counting Approach to Lower Bounds for Selection Problems.

Data Structures and Correctness of Programs.

Data Flow Analysis for Procedural Languages.

Convergence and Complexity of Newton Iteration for Operator Equations.

An O(n log n) Algorithm for Rectilinear Minimal Spanning Trees.

Relations Among Complexity Measures.

On the Optimum Checkpoint Interval.

Integrals with a Kernel in the Solution of Nonlinear Equations in N Dimensions.

Regenerative Simulation with Internal Controls.

Optimality Properties of Multiple-Key Hashing Functions.

Concurrent Processes and Their Syntax.

A Linear Time Algorithm for Deciding Interval Graph Isomorphism.