![](https://media.springernature.com/w90/springer-static/cover/journal/10817/37/3.jpg?as=webp)
Volume 37, Issue 3
October 2006Third Special Issue on Techniques for Automated Termination Proofs
3 articles in this issue
Third Special Issue on Techniques for Automated Termination Proofs