Journals in DBLP
J. ACM 1990, volume: 37, number: 4
Wojciech Szpankowski Patricia Tries Again Revisited [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:691-711 [Journal ] David A. Briggs A Correction of the Termination Conditions of the Henschen-Naqvi Technique [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:712-719 [Journal ] Danny Dolev , Rüdiger Reischuk , H. Raymond Strong Early Stopping in Byzantine Agreement [Citation Graph (1, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:720-741 [Journal ] Tobias Nipkow Unification in Primal Algebras, Their Powers and Their Varieties [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:742-776 [Journal ] Gopalan Nadathur , Dale Miller Higher-Order Horn Clauses [Citation Graph (1, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:777-814 [Journal ] J. Robin B. Cockett , J. A. Hierrera Decision Tree Reduction [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:815-842 [Journal ] Dorit S. Hochbaum , J. George Shanthikumar Convex Separable Optimization Is Not Much Harder than Linear Optimization [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:843-862 [Journal ] Peter G. Harrison , Naresh M. Patel The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems [Citation Graph (0, 0)][DBLP ] J. ACM, 1990, v:37, n:4, pp:863-898 [Journal ]