0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 198
发布时间:
卷期年份: 2000
卷期官网:
本期论文列表
Learning functions represented as multiplicity automata.

Behavioral equivalence in the polymorphic pi-calculus.

A subdivision-based algorithm for the sparse resultant.

An axiomatic treatment of three qualitative decision criteria.

The expressibility of languages and relations by word equations.