Andréia Borges Avelar Da Silva

Andréia Borges Avelar Da Silva

Universidade de Brasília UNB - Brasilia / Brazil
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5375779
University of Brasília UnB
person_outline Andréia Borges Avelar Da Silva's MOST POPULAR ARTICLES
1-) First-order unification in the PVS proof assistantAB Avelar, AL Galdino, FLC de Moura, M Ayala-RincónLogic Journal of the IGPL 22 (5), 758-789, 2014132014
2-) Formalização da automação da terminação através de grafos com matrizes de medidaAB Avelar102015
3-) Formalization of ring theory in PVS: isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theoremTA de Lima, AL Galdino, AB Avelar, M Ayala-RincónJournal of Automated Reasoning 65 (8), 1231-1263, 202182021
4-) Verification of the Completeness of Unification Algorithms à la RobinsonAB Avelar, FLC de Moura, AL Galdino, M Ayala-RincónLogic, Language, Information and Computation: 17th International Workshop …, 201072010
5-) Formal Verification of Termination Criteria for First-Order Recursive FunctionsCA Muñoz, M Ayala-Rincón, MM Moscato, AM Dutle, AJ Narkawicz, ...Journal of Automated Reasoning 67 (4), 40, 202352023