Volume 47, Number 1, August 1993 Selected Papers of PODS 1989
, Jianwen Su
: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects.
Allen Van Gelder
: The Alternating Fixpoint of Logic Programs with Negation.
Volume 47, Number 2, October 1993 Selected Papers of the 29th IEEE Conference on Foundations of Computer Science, October 24-26, 1988
Volume 47, Number 3, December 1993 Selected Papers of the 22nd Symposium on the Theory of Computing, May 14-16, 1990
: Functions with Bounded Symmetric Communication Complexity, Programs over Commutative Monoids, and ACC.
: Output Sensitive and Dynamic Constructions of Higher Order Voronoi Diagrams and Levels in Arrangements.
, Philip N. Klein
: Towards Overcoming the Transitive-Closure Bottleneck: Efficient Parallel Algorithms for Planar Digraphs.