/persons/resource/persons45328
Rybalchenko,
Andrey
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45516
Sofronie-Stokkermans,
Viorica
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;