Journal of the ACM （JOLACM） - Issue 298 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 298 |
| 发布时间： |
| 卷期年份： 2017 |
| 卷期官网： |
本期论文列表
Amplifiers for the Moran Process.
Property-Directed Inference of Universal Invariants or Proving Their Absence.
Instance-Optimal Geometric Algorithms.
Upward Max-Min Fairness.
Invited Article Foreword.
Coloring 3-Colorable Graphs with Less than
A Temporal Logic Approach to Binding-Time Analysis.