0004-5411

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

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: Issue 106
发布时间:
卷期年份: 1980
卷期官网:
本期论文列表
Minimum Covers in Relational Database Model.

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.

Improved Bounds on the Problem of Time-Space Trade-Off in the Pebble Game.

Database Location in Computer Networks.

Variations on the Common Subexpression Problem.

A Note on Fuzzy Deduction.

Superdeterministic PDAs: A Subcase with a Decidable Inclusion problem.

Fast Probabilistic Algorithms for Verification of Polynomial Identities.

Solving Two-Commodity Transportation Problems with Coupling Constraints.

Equivalences Among Relational Expressions with the Union and Difference Operators.

Computations of Bilinear Forms over Finite Fields.

An Algorithm to Enumerate All Cutsets of a Graph in Linear Time per Cutset.

Two-Dimensional Voronoi Diagrams in the L

Operational and Semantic Equivalence Between Recursive Programs.

Parallel Prefix Computation.

The Sequence Equivalence Problem is Decidable for 0S Systems.