Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Universitätsstraße 38
70569 Stuttgart
Deutschland

GERiT This institution in GERiT

70569 Stuttgart

Projects

Research Grants
- Completed projects
  - Gleichungen über Wörtern, Spuren und anderen Strukturen
    (Applicant Diekert, Volker )
  - Local Divisors in Semigroups and Formal Languages
    (Applicants Diekert, Volker ; Kufleitner, Manfred )
  - Logical fragments for infinite and partially commutative objects
    (Applicant Diekert, Volker )
Priority Programmes
- Completed projects
  - Graphen mit entscheidbaren Logiken
    (Applicant Lohrey, Markus )

© 2024 DFG Disclaimer / Copyright / Privacy Policy