Andréia Borges Avelar

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 1

Top Topics

Quantifier Elimination

Rewrite Systems

Theorem Proving

Knowledge Representation

Top Venues

J. Autom. Reason.

Publications

Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
Formalization of Ring Theory in PVS. J. Autom. Reason. 65 (8) (2021)
Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón
First-order unification in the PVS proof assistant. Log. J. IGPL 22 (5) (2014)