# Klaus Aehlig

According to our database

Collaborative distances:

^{1}, Klaus Aehlig authored at least 21 papers between 2001 and 2016.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2016

Comput. Complex., 2016

2012

ACM Trans. Program. Lang. Syst., 2012

J. Funct. Program., 2012

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Ann. Pure Appl. Log., 2010

2008

Ann. Pure Appl. Log., 2008

Arch. Formal Proofs, 2008

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

Log. Methods Comput. Sci., 2007

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005

ACM Trans. Comput. Log., 2005

J. Symb. Log., 2005

Ann. Pure Appl. Log., 2005

The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable.

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Theor. Comput. Sci., 2004

Math. Struct. Comput. Sci., 2004

2002

ACM Trans. Comput. Log., 2002

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001