Andr\'e L Galdino (Universidade Federal de Goi\'as)

Identifiers

• name variant Andr\'e L Galdino (Universidade Federal de Goi\'as) 0.60 · backfill

Papers (1)

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

Mentions

• 1203.6160 #2 · backfill · confidence 0.70 Andr\'e L Galdino (Universidade Federal de Goi\'as)

Frequent Coauthors

• Andr\'eia B Avelar (Universidade de Bras\'ilia) 1 shared papers
• Fl\'avio LC de Moura (Universidade de Bras\'ilia) 1 shared papers
• Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia) 1 shared papers