Detailseite
Institution
Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik
- Sachbeihilfen
- laufende Projekte
-
- Koalgebraische Nominale Automaten mit Namensallozierung(Antragsteller Milius, Stefan ; Schröder, Lutz )
- Spektren von Verhaltensdistanzen und quantitativen Logiken(Antragstellerinnen / Antragsteller König, Barbara ; Schröder, Lutz )
-
- abgeschlossene Projekte
- Eine High-Level-Sprache für monadenbasierte Prozesse(Antragsteller Goncharov, Sergey ; Schröder, Lutz )
-
-
- laufende Projekte
- Schwerpunktprogramme
- abgeschlossene Projekte
- Argumentrekonstruktion aus Politischen Debatten(Antragstellerinnen / Antragsteller Evert, Stephanie ; Schröder, Lutz )
-
- abgeschlossene Projekte
- Graduiertenkollegs
