Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT

Home
Team
Offers
Teaching
Research
Publications

Logic of Autonomous Dynamical Systems

Constructive Logic

Head

Prof. Dr. André Platzer
Building 50.34
Am Fasanengarten 5
D-76131 Karlsruhe

Team Assistant

Laurence Böhnke
Building 50.34, Raum 155
Am Fasanengarten 5
D-76131 Karlsruhe

KIT – The Research University in the Helmholtz Association

Home
Legals
Privacy Policy
Accessibility
KIT