Andréia B. Avelar da Silva

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 2

Top Topics

Recursive Functions

Top Venues

J. Autom. Reason.

Publications

Cé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
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67 (4) (2023)
Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino
Formalizing Ring Theory in PVS. ITP (2018)