![](https://media.springernature.com/w90/springer-static/cover/journal/10817/34/2.jpg?as=webp)
Volume 34, Issue 2
December 2005Techniques for Automated Termination Proofs
- Issue Editors:
-
- Jürgen Giesel,
- Deepak Kapur
4 articles in this issue
Techniques for Automated Termination Proofs