/persons/resource/persons44003
Althaus,
Ernst
Algorithms and Complexity, MPI for Informatics, Max Planck Society;
/persons/resource/persons44851
Kruglov,
Evgeny
Automation of Logic, MPI for Informatics, Max Planck Society;
/persons/resource/persons45719
Weidenbach,
Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;