Adresse Technische Universität Braunschweig Carl-Friedrich-Gauß-Fakultät Institut für Theoretische Informatik Mühlenpfordtstraße 22-23 38106 Braunschweig