Detailseite
Person
Professor Dr. Volker Diekert
Adresse
Universität Stuttgart
Institut für Formale Methoden der Informatik (FMI)
Abteilung Theoretische Informatik
Universitätsstraße 38
70569 Stuttgart
-
Als Antragsteller
-
abgeschlossene Projekte
-
Gleichungen über Wörtern, Spuren und anderen Strukturen (Sachbeihilfen)
-
Lokale Divisoren in Halbgruppen und Formalen Sprachen (Sachbeihilfen) -
Logikfragmente für unendliche und partiell-kommutative Objekte (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als Beteiligte Person
-
abgeschlossene Projekte
-
Graphen mit entscheidbaren Logiken (Schwerpunktprogramme)
-
-
abgeschlossene Projekte
