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

Detailseite

Institution

Druckansicht

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

Adresse Postfach 100920
04009 Leipzig
Deutschland

GERiT Diese Institution in GERiT

04009 Leipzig

Projekte

Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Tree transformations in machine translation
    (Antragsteller Maletti, Andreas )
Sachbeihilfen
- laufende Projekte
  - Temporale Logiken über endlichen Wörtern und der Präfixordnung
    (Antragstellerin Quaas, Karin )
- abgeschlossene Projekte
  - Temporale Logiken mit Constraints
    (Antragstellerin Quaas, Karin )
  - Verifikation von gewichteten Zeitautomaten
    (Antragstellerin Quaas, Karin )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1763: Quantitative Logiken und Automaten
    (Sprecher Baader, Franz )

© 2024 DFG Kontakt / Impressum / Datenschutz