/persons/resource/persons45132
Nonnengart,
Andreas
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45301
Rock,
Georg
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45719
Weidenbach,
Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;