Daniele Nantes-Sobrinho (Universidade de Bras\'ilia)

Identifiers

• name variant Daniele Nantes-Sobrinho (Universidade de Bras\'ilia) 0.60 · backfill

Papers (1)

1. Elementary Deduction Problem for Locally Stable Theories with Normal Forms cs.LO · 2013 · author #3

Mentions

• 1303.7328 #3 · backfill · confidence 0.70 Daniele Nantes-Sobrinho (Universidade de Bras\'ilia)

Frequent Coauthors

• Maribel Fern\'andez (King's College London) 1 shared papers
• Mauricio Ayala-Rinc\'on (Universidade de Bras\'ilia) 1 shared papers