Journal of the ACM （JOLACM） - Issue 218 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 218 |
| 发布时间： |
| 卷期年份： 2003 |
| 卷期官网： |
本期论文列表
The geometric maximum traveling salesman problem.
Definable relations and first-order query languages over strings.
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra.
The performance of difference coding for sets and relational tables.
Counterexample-guided abstraction refinement for symbolic model checking.