Habilitationen

Über die Bedeutung der Graphersetzung für die Programmverifikation

Klaus Georg Barthelmann
(Göttler)

Untersuchungen zur Beschreibungskomplexität von deterministischer und nicht-deterministischer linearer Zeit

Thomas Schwentick
(Lautemann)

Wissensbasierte Informationssysteme: Konzepte und Realisierungen

Thomas Uthmann
(Perl)