Journal of the ACM （JOLACM） - Issue 283 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 283 |
| 发布时间： |
| 卷期年份： 2014 |
| 卷期官网： |
本期论文列表
Solving the Weighted Stable Set Problem in Claw-Free Graphs via Decomposition.
Denotational Semantics with Nominal Scott Domains.
A Logic for True Concurrency.
An Additive Combinatorics Approach Relating Rank to Communication Complexity.
Ranking Functions for Linear-Constraint Loops.
Invited Articles Foreword.
Satisfiability Allows No Nontrivial Sparsification unless the Polynomial-Time Hierarchy Collapses.
The Convergence of Bird Flocking.