Professoren des Institutes für Informatik Publikationsstelle, Tel. (+49 30) 2093 3114 Humboldt-Universität zu Berlin 0863 - 095X Die Reihe Informatik-Berichte erscheint aperiodisch.