Termination of Nested and Mutually Recursive Algorithms

• 1 January 1997
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 19  (1) , 1-29
• https://doi.org/10.1023/a:1005797629953

Abstract

Keywords

• AUTOMATED TERMINATION ANALYSIS
• INDUCTION THEOREM PROVING
• FUNCTIONAL PROGRAMMING