Project Details

Professor Dr. Dietrich Kuske

Address Technische Universität Ilmenau
Fakultät für Informatik und Automatisierung
Institut für Theoretische Informatik
Helmholtzplatz 5
98693 Ilmenau

Projects

As Applicant
- Completed projects
  - Storage mechanisms as monoids (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (Research Training Groups)

Servicenavigation

Hauptnavigation

Professor Dr. Dietrich Kuske

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Dietrich Kuske

Additional Information

Textvergrößerung und Kontrastanpassung