Researcher Portfolio

Sturm, Thomas

Automation of Logic, MPI for Informatics, Max Planck Society

Researcher Profile

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

Additional IDs: ORCID: https://orcid.org/0000-0002-8088-340X

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

External references

WorldCat Search for Sturm, Thomas

Google Scholar Search for Sturm, Thomas

Publications