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