Termination Proofs and Complexity Certification

D. Leivant
DOI: https://doi.org/10.1007/3-540-45500-0_9
2001-10-29
Abstract:
What problem does this paper attempt to address?