Journal of the ACM （JOLACM） - Issue 100 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： 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.