Journal of the ACM （JOLACM） - Issue 322 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 322 |
| 发布时间： |
| 卷期年份： 2021 |
| 卷期官网： |
本期论文列表
The Reachability Problem for Petri Nets Is Not Elementary.
Solving Linear Programs in the Current Matrix Multiplication Time.
Enhanced Phase Clocks, Population Protocols, and Fast Space Optimal Leader Election.
The Marriage of Univalence and Parametricity.
Game Semantics for Interface Middleweight Java.
Invited Article Foreword.
On Small-depth Frege Proofs for Tseitin for Grids.