Volume 47, Number 1, August 1993
Selected Papers of PODS 1989
Richard Hull,
Jianwen Su:
Algebraic and Calculus Query Languages for Recursively Typed Complex Objects.
121-156
Allen Van Gelder:
The Alternating Fixpoint of Logic Programs with Negation.
185-221
Volume 47, Number 2, October 1993
Selected Papers of the 29th IEEE Conference on Foundations of Computer Science, October 24-26, 1988
Michael Luby:
Removing Randomness in Parallel Computation without a Processor Penalty.
250-286
Volume 47, Number 3, December 1993
Selected Papers of the 22nd Symposium on the Theory of Computing, May 14-16, 1990
Mario Szegedy:
Functions with Bounded Symmetric Communication Complexity, Programs over Commutative Monoids, and ACC.
405-423
Ketan Mulmuley:
Output Sensitive and Dynamic Constructions of Higher Order Voronoi Diagrams and Levels in Arrangements.
437-458
Ming-Yang Kao,
Philip N. Klein:
Towards Overcoming the Transitive-Closure Bottleneck: Efficient Parallel Algorithms for Planar Digraphs.
459-500