Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität Leipzig
Institut für Informatik
Abteilung Automaten und Sprachen

Address Post Office Box 100920
04009 Leipzig
Deutschland

GERiT This institution in GERiT

04009 Leipzig

Projects

Research Grants
- Completed projects
  - Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
    (Applicant Droste, Manfred )
  - Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
    (Applicant Droste, Manfred )
Research Training Groups
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
    (Spokesperson Vogler, Heiko )
  - GRK 1763: Quantitative Logics and Automata
    (Spokesperson Baader, Franz )

© 2024 DFG Disclaimer / Copyright / Privacy Policy