T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations.

Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah

Browse the full ICALP paper archive.