/persons/resource/persons44689
Jaeger,
Manfred
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44982
Mannila,
Heikki
Algorithms and Complexity, MPI for Informatics, Max Planck Society;
/persons/resource/persons45737
Weydert,
Emil
Programming Logics, MPI for Informatics, Max Planck Society;