0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 211
发布时间:
卷期年份: 2002
卷期官网:
本期论文列表
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning.

On the complexity analysis of static analyses.

Dense quantum coding and quantum finite automata.

Formal verification of standards for distance vector routing protocols.