/persons/resource/persons45719
Weidenbach,
Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons43970
Afshordel,
Bijan
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44171
Brahm,
Uwe
Information Services and Technology, MPI for Informatics, Max Planck Society;
/persons/resource/persons44257
Cohrs,
Christian
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44385
Engel,
Thorsten
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44751
Keen,
Enno
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45610
Theobalt,
Christian
Computer Graphics, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45629
Topic,
Dalibor
Automation of Logic, MPI for Informatics, Max Planck Society;