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

Detailseite

Institution

Druckansicht

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

Adresse Postfach 100920
04009 Leipzig
Deutschland

GERiT Diese Institution in GERiT

04009 Leipzig

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
    (Antragsteller Droste, Manfred )
  - Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
    (Antragsteller Droste, Manfred )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken
    (Sprecher Vogler, Heiko )
  - GRK 1763: Quantitative Logiken und Automaten
    (Sprecher Baader, Franz )

© 2024 DFG Kontakt / Impressum / Datenschutz