Seminar Theoretische Informatik

SS 1997

14.05.97 HG 3-68 15:00 Uhr

Dipl.-Inf. Michael Hartwig, Institut für Informatik:
Die Methode des Narrowing - umgesetzt in BABEL

18.06.97 HG 3-68 14:00 Uhr

Dr. Rolf Hartwig, Institut für Informatik:
Zu semantischen Konzepten in LIFE

25.06.97 HG 3-68 14:00 Uhr

Dipl.-Inf. Michael Hartwig, Institut für Informatik:
Multiple Redirection in funktional-logischen Sprachen

02.07.97 HG 3-68 14:00 Uhr

Dr. Rolf Hartwig, Institut für Informatik:
Zu semantischen Konzepten in LIFE (Teil 2):
OSF-Graphen und Graphalgebren

16.07.97 HG 3-68 14:00 Uhr

Dipl.-Inf. Michael Hartwig, Institut für Informatik:
Objektorientiertes Programmieren unter verschiedenen Sprachparadigmen