Old Web
English
Sign In
Acemap
>
Paper
>
Formal Verification of Termination Criteria for First-Order Recursive Functions.
Formal Verification of Termination Criteria for First-Order Recursive Functions.
2021
César Muñoz
Mauricio Ayala-Rincón
Mariano M. Moscato
Aaron Dutle
Anthony Narkawicz
Ariane Alves Almeida
Andréia B. Avelar
Thiago Mendonça Ferreira Ramos
Keywords:
recursive functions
first order
Theoretical computer science
Computer science
Formal verification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]