Journal of the ACM （JOLACM） - Issue 143 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 143 |
| 发布时间： |
| 卷期年份： 1990 |
| 卷期官网： |
本期论文列表
Nondeterministic Polynomial-Time Computations and Models of Arithmetic
Completeness of Rewrite Rules and Rewrite Strategies for FP
Minimal and Complete Word Unification
Some Computational Aspects of Circumscription
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
Asymptotic Expansions for Large Closed Queuing Networks