Bild ohne Titel

Institut für Informatik

Institut |
Forschung |
Studium |
Schnittstelle Schule |
Service |

Weiterführende Links Personensuche
UnivIS 

Habilitationen

1999
Über die Bedeutung der Graphersetzung für die Programmverifikation

Klaus Georg Barthelmann
(Göttler)

Untersuchungen zur Beschreibungskomplexität von deterministischer und nicht-deterministischer linearer Zeit

Thomas Schwentick
(Lautemann)


1995
Wissensbasierte Informationssysteme: Konzepte und Realisierungen

Thomas Uthmann
(Perl)

 
Institut für Informatik, 15.10.2008
      ImpressumImpressum   Zum SeitenanfangZum Seitenanfang
Zum Inhalt der Seite springen Zur Navigation der Seite springen