Flávio Leonardo Cavalcanti de Moura

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Geometry Theorem Proving

Function Symbols

Quantifier Elimination

Rewrite Systems

Top Venues

Publications

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)