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

卷期号： Issue 93

发布时间：

卷期年份： 1977

卷期官网：

The Complexity of Parallel Evaluation of Linear Recurrences.

Word Problems Solvable in Logspace.

On Equivalence and Containment Problems for Formal Languages.

A Linear Time Algorithm for Deciding Subject Security.

Local Feedback in Full-Text Retrieval Systems.

Semantics of the Domain of Flow Diagrams.

The Complexity of Trie Index Construction.

Stability and Optimal Control of the Packet Switching Broadcast Channel.

On Live-Dead Analysis for Global Data Flow Problems.

Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques.

Development of a Parametric Generating Procedure for Integer Programming Test Problems.

Operations Research Applied to Document Indexing and Retrieval Decisions.

Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems.

Complexity of Synthesizing Inductive Assertions.

Errata: "Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems".