Volume 39, Numbers 1-2, July 1999
, Stephan Schmitt
: On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.
: On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi.
Volume 39, Number 3, July-August 1999
Volume 39, Number 4, September 1999
: On Average Time Complexity of Decision Trees and Branching Programs.
: The Membership Problem for Switching Classes with Skew Gains.