Concepedia

Karl-Heinz Niggl

KN

Statistics

Publications

5

Citations

183

H-Index

5

Active since

1999

Affiliations

Technische Universität Ilmenau(Current)

Karl-Heinz Niggl is an author at Technische Universität Ilmenau specializing in computer science, computing, and theory of computation.

Publications per year

1999–2006

5

Publications

5

Higher type recursion, ramification and polynomial time

Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Schwichtenberg · Annals of Pure and Applied Logic · 2000 · 70 citations

Computing, Computer Science, Mathematics +14

Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs

Karl-Heinz Niggl, Henning Wunderlich · SIAM Journal on Computing · 2006 · 43 citations

Computing, Computer Science, Data Structures +10

On the computational complexity of imperative programming languages

Lars Kristiansen, Karl-Heinz Niggl · Theoretical Computer Science · 2003 · 38 citations

Computing, Computer Science, Programming Languages +13

Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited

Stephen J. Bellantoni, Karl-Heinz Niggl · SIAM Journal on Computing · 1999 · 22 citations

Computing, Computer Science, Mathematics +13

Mω considered as a programming language

Karl-Heinz Niggl · Annals of Pure and Applied Logic · 1999 · 10 citations

Computing, Computer Science, Programming Languages +1

1–5 of 5