/persons/resource/persons44055
Bachmair,
Leo
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44474
Ganzinger,
Harald
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44956
Lynch,
Christopher
Automation of Logic, MPI for Informatics, Max Planck Society;