Formal Verification of Termination Criteria for First-Order Recursive Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos. Formal Verification of Termination Criteria for First-Order Recursive Functions. In Liron Cohen 0001, Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Volume 193 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

This author has not been identified. It may be one of the following persons:

César A. Muñoz

Look up 'César A. Muñoz' in GoogleThis author has not been identified. Look up 'Mauricio Ayala-Rincón' in GoogleThis author has not been identified. Look up 'Mariano M. Moscato' in GoogleThis author has not been identified. Look up 'Aaron Dutle' in GoogleThis author has not been identified. Look up 'Anthony J. Narkawicz' in GoogleThis author has not been identified. Look up 'Ariane Alves Almeida' in GoogleThis author has not been identified. Look up 'Andréia B. Avelar' in GoogleThis author has not been identified. Look up 'Thiago Mendonça Ferreira Ramos' in Google

runs on WebDSL