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