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

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]

The following publications are possibly variants of this publication:

Formal Verification of Termination Criteria for First-Order Recursive FunctionsCésar A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos. JAR, 67(4):40, December 2023. [doi]

runs on WebDSL