Journal of the ACM （JOLACM） - Issue 149 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 149 |
| 发布时间： |
| 卷期年份： 1991 |
| 卷期官网： |
本期论文列表
Two-Way String Matching.
Abstraction in Query Processing.
Optimal Load Balancing and Scheduling in a Distributed Computer System.
Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems.
The Well-Founded Semantics for General Logic Programs.
Stability and Stabilizability of Discrete Event Dynamic Systems.
Complexity Classes Defined by Counting Quantifiers.
Autoepistemic Logic.
An Optimal Parallel Algorithm for the Visibility of a Simple Polygon from a Point.
Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.
Letter from the Editor.