1 “... Kiel, Institut für Informatik...”

2 “... Informatik an der Universität Kiel und beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und...”

3 “... Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und...”

4 “... an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er...”

5 “... der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und...”

6

7 “... devoted to this topic. The first two workshops were held in 1994 in Kiel and 1996 in Bremen, Germany...”