Neil Thapen
2011
A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Papers from Neil Thapen's perspective
Ordered by how strongly the researchers Neil Thapen trusts endorse each paper. Same corpus, a different order for every researcher.
Their papers
- The provably total search problems of bounded arithmetic (2011) — 70 citations