Lew Gordeev (Tubingen University

Identifiers

• name variant Lew Gordeev (Tubingen University 0.60 · backfill

Papers (1)

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

Mentions

• 1404.0082 #3 · backfill · confidence 0.70 Lew Gordeev (Tubingen University

Frequent Coauthors

• Edward Hermann Haeusler (PUC-Rio) 1 shared papers
• Ghent University 1 shared papers
• Marcela Quispe-Cruz (PUC-Rio) 1 shared papers
• PUC-Rio) 1 shared papers