Not registered as user yet

Name:Florian Frohn
Country:Germany
Affiliation:Max Planck Institute for Informatics

Contributions

SAS 2020 Author of Termination of Polynomial Loops within the SAS-track