Aktivitaet2003
Aus International Center for Computational Logic
Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)
- Sebastian Rudolph
- Assoziiertes Mitglied im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)Associated Member in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA) (★)
- http://lat.inf.tu-dresden.de/quantla/
- 2013 – andauernd