Anupam Das (\'Ecole Normale Sup\'erieure de Lyon (ENS Lyon)

Identifiers

• name variant Anupam Das (\'Ecole Normale Sup\'erieure de Lyon (ENS Lyon) 0.60 · backfill

Papers (1)

1. On the relative proof complexity of deep inference via atomic flows cs.LO · 2015 · author #1

Mentions

• 1502.05860 #1 · backfill · confidence 0.70 Anupam Das (\'Ecole Normale Sup\'erieure de Lyon (ENS Lyon)

Frequent Coauthors

• France) 1 shared papers