Volume 34, Issue 2, December 2005

Techniques for Automated Termination Proofs

Issue Editors:

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