Researcher Portfolio

Prof. Dr. Weidenbach, Christoph

Automation of Logic, MPI for Informatics, Max Planck Society, Programming Logics, MPI for Informatics, Max Planck Society

Researcher Profile

Position: Automation of Logic, MPI for Informatics, Max Planck Society

Position: Programming Logics, MPI for Informatics, Max Planck Society

Additional IDs: ORCID: https://orcid.org/0000-0001-6002-0458

Researcher ID: https://pure.mpg.de/cone/persons/resource/persons45719

External references

WorldCat Search for Weidenbach, Christoph

Google Scholar Search for Weidenbach, Christoph

Publications