/persons/resource/persons44003
Althaus,
Ernst
Algorithms and Complexity, MPI for Informatics, Max Planck Society;
/persons/resource/persons98354
Beber,
Björn
Algorithms and Complexity, MPI for Informatics, Max Planck Society;
/persons/resource/persons44562
Hagemann,
Willem
Automation of Logic, MPI for Informatics, Max Planck Society;
International Max Planck Research School, MPI for Informatics, Max Planck Society;
/persons/resource/persons45689
Waldmann,
Uwe
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;