/persons/resource/persons44406
Fehrer,
Detlef
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44660
Hustadt,
Ullrich
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons44689
Jaeger,
Manfred
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45132
Nonnengart,
Andreas
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45140
Ohlbach,
Hans Jürgen
Programming Logics, MPI for Informatics, Max Planck Society;
/persons/resource/persons45401
Schmidt,
Renate A.
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;
/persons/resource/persons45737
Weydert,
Emil
Programming Logics, MPI for Informatics, Max Planck Society;