Journals in DBLP
J. ACM 1993, volume: 40, number: 3
Don Coppersmith , Peter Doyle , Prabhakar Raghavan , Marc Snir Random Walks on Weighted Graphs and Applications to On-line Algorithms. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:421-453 [Journal ] Howard J. Karloff , Prabhakar Raghavan Randomized Algorithms and Pseudorandom Numbers. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:454-476 [Journal ] Franz Baader Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:477-503 [Journal ] Neil V. Murray , Erik Rosenthal Dissolution: Making Paths Vanish. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:504-535 [Journal ] C. A. Johnson Factorization and Circuit in the Connection Method. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:536-557 [Journal ] Tie-Cheng Wang Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:558-606 [Journal ] Nathan Linial , Yishay Mansour , Noam Nisan Constant Depth Circuits, Fourier Transform, and Learnability. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:607-620 [Journal ] Kurt Mehlhorn , Athanasios K. Tsakalidis Dynamic Interpolation Search. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:621-634 [Journal ] Marc J. van Kreveld , Mark H. Overmars Union-Copy Structures and Dynamic Segment Trees. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:635-652 [Journal ] Jos C. M. Baeten , Jan A. Bergstra , Jan Willem Klop Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:653-682 [Journal ] Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs. [Citation Graph (9, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:683-713 [Journal ] Randolph D. Nelson , Donald F. Towsley A Performance Evaluation of Several Priority Policies for Parallel Processing Systems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:714-740 [Journal ] Sandeep N. Bhatt , Jin-yi Cai Taking Random Walks to Grow Trees in Hypercubes. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:741-764 [Journal ] Richard M. Karp , Yanjun Zhang Randomized Parallel Algorithms for Backtrack Search and Branch-and-Bound Computation. [Citation Graph (0, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:765-789 [Journal ]