Conrad Kuck - Intuitionistic Set Theory Part II

Conrad Kuck - Intuitionistic Set Theory Part I

Oscar Slotosch - Refinements in HOLCF: Implementation of Interactive Systems

Matthias Fuchs - Learning Search Heuristics for Automated Deduction

Günter Rudolph - Convergence Properties of Evolutionary Algorithms

Claus-Peter Wirth - Positive/Negative-Conditional Equations

Tobias Helbig - Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen

Marion Kremer - Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen