Adresse Technische Universität Braunschweig Carl-Friedrich-Gauß-Fakultät Institut für Theoretische Informatik Postfach 3329 38023 Braunschweig