Dr. Florian Bruse
Wissenschaftlicher Mitarbeiter
- Standort
- Wilhelmshöher Allee 73
34121 Kassel
- Raum
- WA-altes Gebäude (WA 73), 1309
Research Interests:
Temporal Logics & Automata, Descriptive Complexity, Fixpoint Theory
Publications:
dblp page