Project Details
Person
Professor Dr. Manfred Droste
Address
Universität Leipzig
Institut für Informatik
Abteilung Automaten und Sprachen
Augustusplatz 10
04109 Leipzig
-
As Applicant
-
Completed projects
-
Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen (Research Grants)
-
Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Completed projects
-
GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (Research Training Groups)
-
GRK 1763: Quantitative Logics and Automata (Research Training Groups)
-
-
Completed projects
