# Karl-Heinz Niggl

According to our database

Collaborative distances:

^{1}, Karl-Heinz Niggl authored at least 16 papers between 1993 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2010

J. Log. Algebraic Methods Program., 2010

2006

SIAM J. Comput., 2006

2005

Ann. Pure Appl. Log., 2005

2004

Theor. Comput. Sci., 2004

2003

Proceedings of the Fifth International Workshop on Implicit Computational Complexity, 2003

2001

Theor. Comput. Sci., 2001

2000

Ann. Pure Appl. Log., 2000

Arch. Math. Log., 2000

1999

SIAM J. Comput., 1999

Ann. Pure Appl. Log., 1999

Arch. Math. Log., 1999

1998

Proceedings of the Workshop on Domains IV 1998, 1998

A restricted computation model on Scott domains and its partial primitive recursive functionals.

Arch. Math. Log., 1998

1997

Non-definability of the Ackermann function with type 1 partial primitive recursion.

Arch. Math. Log., 1997

1995

Ann. Pure Appl. Log., 1995

1993

Arch. Math. Log., 1993