Volume 37, Issue 3, October 2006

Third Special Issue on Techniques for Automated Termination Proofs

ISSN: 0168-7433 (Print) 1573-0670 (Online)