Logic in Computer Science in
LiB
Affiliated Research Groups:
Abteilung I
des Instituts für Informatik
Arbeitsgruppe Karpinski
der Abteilung V des Instituts für Informatik
Affiliated Scientists:
Prof. Dr.
Christel Baier
(Abt. I)
Prof. Dr.
Marek Karpinski
(Abt. V)
Prof. Dr.
Rolf Klein
(Abt. I)
Text under construction!
Last changed: April 23rd, 2002