Concepedia
1
Publications
161
Citations
H-Index
2003
Active since
Affiliations
TU Dortmund University(Current)
Gero Presser is an author at TU Dortmund University specializing in formal methods, computational complexity, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational Complexity
Publications per year
2003–2003
Computability on subsets of metric spaces
Vasco Brattka, Gero Presser · Theoretical Computer Science · 2003 · 161 citations
Engineering, Automated Reasoning, Computational Model Theory +6
Rows per page
1–1 of 1