0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 231
发布时间:
卷期年份: 2005
卷期官网:
本期论文列表
Time-space lower bounds for satisfiability.

Subexponential parameterized algorithms on bounded-genus graphs and

Ownership confinement ensures representation independence for object-oriented programs.

Behavioral theory for mobile ambients.