Researcher Portfolio

Dr. Waldmann, Uwe

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

Researcher Profile

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

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

Additional IDs: ORCID: https://orcid.org/0000-0002-0676-7195

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

External references

WorldCat Search for Waldmann, Uwe

Google Scholar Search for Waldmann, Uwe

Publications