Leonardo Lima

Identifiers

• name variant Leonardo Lima 0.60 · backfill

Papers (1)

1. Towards the Automated Generation of Focused Proof Systems cs.LO · 2015 · author #3

Mentions

• 1511.04177 #3 · backfill · confidence 0.70 Leonardo Lima

Frequent Coauthors

• Giselle Reis 1 shared papers
• Vivek Nigam 1 shared papers