Formal Verification of Termination Criteria for First-Order Recursive Functions.

Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andria B. Avelar, Thiago Mendona Ferreira Ramos

Browse the full ITP paper archive.