Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Giesl, J., Kapur, D. Third Special Issue on Techniques for Automated Termination Proofs. J Autom Reasoning 37, 153–154 (2006). https://doi.org/10.1007/s10817-006-9052-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-006-9052-z