Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Stuttgart
Institut für Formale Methoden der Informatik (FMI)
Abteilung Theoretische Informatik

Adresse Universitätsstraße 38
70569 Stuttgart
Deutschland

GERiT Diese Institution in GERiT

70569 Stuttgart

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Gleichungen über Wörtern, Spuren und anderen Strukturen
    (Antragsteller Diekert, Volker )
  - Logikfragmente für unendliche und partiell-kommutative Objekte
    (Antragsteller Diekert, Volker )
  - Lokale Divisoren in Halbgruppen und Formalen Sprachen
    (Antragsteller Diekert, Volker ; Kufleitner, Manfred )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Graphen mit entscheidbaren Logiken
    (Antragsteller Lohrey, Markus )

© 2024 DFG Kontakt / Impressum / Datenschutz