Size-change termination (SCT) is a general criterion to identify recursive function definitions that are guaranteed to terminate.I t extends and subsumes the simpler criterion of lexicographic descent in function calls, which in classical recursion theory is known as multiple recursion. Ne il Jones has conjectured that the class of functions computable by size-change terminating programs coincides with the multiply-recursive functions.T his paper proves so. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ben-Amram, A. M. (2002). General size-change termination and lexicographic descent. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2566 LNCS, 3–17. https://doi.org/10.1007/3-540-36377-7_1
Mendeley helps you to discover research relevant for your work.