Universität Leipzig
Institut für Informatik
Abteilung Algebraische und logische
Grundlagen der Informatik

Address Post Office Box 100920
04009 Leipzig
Deutschland

GERiT This institution in GERiT

04009 Leipzig

Projects

Emmy Noether Independent Junior Research Groups
- Completed projects
  - Tree transformations in machine translation
    (Applicant Maletti, Andreas )
Research Grants
- Current projects
  - Temporal Logics over Finite Strings with the Prefix Order
    (Applicant Quaas, Karin )
- Completed projects
  - Temporal Logics with Constraints
    (Applicant Quaas, Karin )
  - Verification of Weighted Timed Automata
    (Applicant Quaas, Karin )
Research Training Groups
- Completed projects
  - GRK 1763: Quantitative Logics and Automata
    (Spokesperson Baader, Franz )