0004-5411

Journal of the ACM (JOLACM) - Issue 308 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 308
发布时间:
卷期年份: 2018
卷期官网:
本期论文列表
Reachability Is in DynFO.

Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.

The Cost of Unknown Diameter in Dynamic Networks.

On Algebraic Branching Programs of Small Width.

The Parameterized Complexity of the

General Belief Revision.

Subcubic Equivalences Between Path, Matrix, and Triangle Problems.

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.