Fl\'avio LC de Moura (Universidade de Bras\'ilia)

Identifiers

• name variant Fl\'avio LC de Moura (Universidade de Bras\'ilia) 0.60 · backfill

Papers (1)

1. A Formalization of the Theorem of Existence of First-Order Most General Unifiers cs.LO · 2012 · author #3

Mentions

• 1203.6160 #3 · backfill · confidence 0.70 Fl\'avio LC de Moura (Universidade de Bras\'ilia)

Frequent Coauthors

• Andr\'eia B Avelar (Universidade de Bras\'ilia) 1 shared papers
• Andr\'e L Galdino (Universidade Federal de Goi\'as) 1 shared papers
• Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia) 1 shared papers