0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 192
发布时间:
卷期年份: 1999
卷期官网:
本期论文列表
Generation of Universal Series-Parallel Boolean Functions.

Some Contributions to the Metatheory of the Situation Calculus.

Undirected Single-Source Shortest Paths with Positive Integer Weights in Linear Time.

A Fast Bit-Vector Algorithm for Approximate String Matching Based on Dynamic Programming.