Journal of the ACM（JOLACM ）的ISSUE 146论文列表

卷期号： Issue 146

发布时间：

卷期年份： 1990

卷期官网：

Unification in Primal Algebras, Their Powers and Their Varieties

The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems

Decision Tree Reduction

Convex Separable Optimization Is Not Much Harder than Linear Optimization

Early Stopping in Byzantine Agreement

A Correction of the Termination Conditions of the Henschen-Naqvi Technique

Higher-Order Horn Clauses

Patricia Tries Again Revisited