0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 172
发布时间:
卷期年份: 1996
卷期官网:
本期论文列表
A Comprehensive Study of the Complexity of Multiparty Interaction.

Automated Proofs of Object Code for a Widely Used Microprocessor.

Local Management of a Global Resource in a Communication Network.

The Benefits of Relaxing Punctuality.

The Asymptotic Complexity of Merging Networks.

Tabled Evaluation With Delaying for General Logic Programs.