Marcela Quispe-Cruz (PUC-Rio)

Identifiers

• name variant Marcela Quispe-Cruz (PUC-Rio) 0.60 · backfill

Papers (1)

1. Proof-graphs for Minimal Implicational Logic cs.LO · 2014 · author #1

Mentions

• 1404.0082 #1 · backfill · confidence 0.70 Marcela Quispe-Cruz (PUC-Rio)

Frequent Coauthors

• Edward Hermann Haeusler (PUC-Rio) 1 shared papers
• Ghent University 1 shared papers
• Lew Gordeev (Tubingen University 1 shared papers
• PUC-Rio) 1 shared papers