Journal of the ACM （JOLACM） - Issue 311 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 311 |
| 发布时间： |
| 卷期年份： 2019 |
| 卷期官网： |
本期论文列表
Going Higher in First-Order Quantifier Alternation Hierarchies on Words.
Approaching 3/2 for the
Bar Induction is Compatible with Constructive Type Theory.
Approximate Counting, the Lovász Local Lemma, and Inference in Graphical Models.
Pseudorandomness from Shrinkage.
Capacity Upper Bounds for Deletion-type Channels.
Exact Algorithms via Monotone Local Search.