Frühere Postanschrift: Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik Olshausenstraße 40 D-24098 Kiel
Frühere Besucheradresse: Christian-Albrechts-Platz 4 / Zimmer 701 D-24118 Kiel
Telefon: ++49-431 880-72 62 Telefax: ++49-431 880-76 13 E-Mail: tho@informatik.uni-kiel.de