Aktivitaet2003
From International Center for Computational Logic
Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)
- Sebastian Rudolph
- Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)Principal Investigator in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA) (★)
- https://lat.inf.tu-dresden.de/quantla/index.php/participants/investigators
- 2013 – andauernd
