Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia)

Identifiers

• name variant Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia) 0.60 · backfill

Papers (3)

1. Formalising Confluence in PVS cs.LO · 2016 · author #1
2. Elementary Deduction Problem for Locally Stable Theories with Normal Forms cs.LO · 2013 · author #1
3. A Formalization of the Theorem of Existence of First-Order Most General Unifiers cs.LO · 2012 · author #4

Mentions

• 1303.7328 #1 · backfill · confidence 0.70 Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia)
• 1203.6160 #4 · backfill · confidence 0.70 Mauricio Ayala-Rinc\'on (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
• Daniele Nantes-Sobrinho (Universidade de Bras\'ilia) 1 shared papers
• Fl\'avio LC de Moura (Universidade de Bras\'ilia) 1 shared papers
• Maribel Fern\'andez (King's College London) 1 shared papers