Andréia B. Avelar

According to our database, Andréia B. Avelar authored at least 8 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

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

J. Autom. Reason., December, 2023

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.

Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

Formalization of Algebraic Theorems in PVS (Invited Talk).

Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021

Formalization of Ring Theory in PVS.

Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón

J. Autom. Reason., 2021

2018

Formalizing Ring Theory in PVS.

Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2014

First-order unification in the PVS proof assistant.

Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón

Log. J. IGPL, 2014

2011

A Formalization of the Theorem of Existence of First-Order Most General Unifiers

Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010

Verification of the Completeness of Unification Algorithms à la Robinson.

Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón

Proceedings of the Logic, 2010