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