Abteilung TI
![_________________________________________________________________](/icons/lines/line10.gif)
Holger Petersen
Dr. rer. nat. habil.
ist Hochschuldozent in der Abteilung Theoretische Informatik am
Institut für formale Methoden der Informatik.
Arbeitsgebiete
Automatentheorie
Entscheidbarkeit
![_________________________________________________________________](/icons/lines/line11.gif)
Zimmer: 1.056
Telefon: (0711-)7816-451
E-Mail:
petersen@informatik.uni-stuttgart.de
![_________________________________________________________________](/icons/lines/line10.gif)
Impressum