Concepedia
Statistics
Publications
13
Citations
464
H-Index
Active since
2002
Affiliations
Czech Academy of Sciences(Current)
Czech Academy of Sciences, Institute of Mathematics
University of Toronto
KTH Royal Institute of Technology
Sapienza University of Rome
Neil Thapen is an author at Czech Academy of Sciences specializing in computer science, mathematics, and theory of computation.
Publications per year
2002–2016
NP search problems in low fragments of bounded arithmetic
Jan Krajı́ček, Alan Skelley, Neil Thapen · Journal of Symbolic Logic · 2007 · 56 citations
Computing, Computer Science, Mathematics +7
The provably total search problems of bounded arithmetic
Alan Skelley, Neil Thapen · Proceedings of the London Mathematical Society · 2011 · 56 citations
Computing, Computer Science, Mathematics +16
FRAGMENTS OF APPROXIMATE COUNTING
Samuel R. Buss, Leszek Aleksander Kołodziejczyk, Neil Thapen · Journal of Symbolic Logic · 2014 · 50 citations
Natural Sciences, Computer Science, Mathematics +10
The provably total NP search problems of weak second order bounded arithmetic
Leszek Aleksander Kołodziejczyk, Phuong Nguyen, Neil Thapen · Annals of Pure and Applied Logic · 2011 · 48 citations
Computing, Computer Science, Mathematics +10
The strength of replacement in weak arithmetic
Stephen Cook, Neil Thapen · ACM Transactions on Computational Logic · 2006 · 47 citations
1–5 of 13