162
click to vote
TPHOL
2007
IEEE
16 years 2 days ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...