Althaus, Ernst
Brinkmann, André
Kling, Peter
auf der Heide, Friedhelm Meyer
Nagel, Lars
Riechers, Sören
Sgall, Jiří
Süß, Tim
Funding for this research was provided by:
Bundesministerium für Bildung und Forschung (01IH13004)
Deutsche Forschungsgemeinschaft (SFB 901)
Institut teoretické informatiky (P202/12/G061)
Pacific Institute for Mathematical Sciences