Statistics
Publications
24
Citations
1.3K
H-Index
18
Active since
1992
Martin Hofmann is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and mathematics.
Publications per year
1992–2016
24
24
Linear types and non-size-increasing polynomial time computation
Martin Hofmann · 2003 · 109 citations
Johannes Salamon, Martin Hofmann, Caroline Jung et al. · PLoS ONE · 2016 · 96 citations · Full text
1–5 of 24