You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Krebs, Andreas
[Author];
Meier, Arne
[Author];
Virtema, Jonni
[Author];
Zimmermann, Martin
[Author]
;
Andreas Krebs and Arne Meier and Jonni Virtema and Martin Zimmermann
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Grädel, Erich
[Author];
Kontinen, Juha
[Author];
Väänänen, Jouka
[Author];
Vollmer, Heribert
[Author]
;
Erich Grädel and Juha Kontinen and Jouka Väänänen and Heribert Vollmer
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Kontinen, Juha
[Author];
Müller, Julian-Steffen
[Author];
Schnoor, Henning
[Author];
Vollmer, Heribert
[Author]
;
Juha Kontinen and Julian-Steffen Müller and Henning Schnoor and Heribert Vollmer
[Contributor]