Detailseite
Institution
Universität Duisburg-Essen
Fakultät für Ingenieurwissenschaften
Lehrstuhl Theoretische Informatik
- Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
- Sachbeihilfen
- laufende Projekte
- Spektren von Verhaltensdistanzen und quantitativen Logiken(Antragstellerinnen / Antragsteller König, Barbara ; Schröder, Lutz )
-
- abgeschlossene Projekte
-
- Verhaltens-Simulation und Äquivalenz von Systemen modelliert durch Graphtransformation(Antragstellerinnen / Antragsteller Ehrig, Hartmut ; König, Barbara )
- laufende Projekte
- Graduiertenkollegs
