Neil Thapen

Institute of Mathematics of the CAS - Prague / Czech Republic

Natural Sciences / Mathematical Sciences

AD Scientific Index ID: 4417144

Ústav matematiky CAS

Registration, Add Profile,
Premium Membership

Print Your Certificate

Neil Thapen's MOST POPULAR ARTICLES

1-) Space complexity in polynomial calculus Y Filmus, M Lauria, J Nordstrom, N Ron-Zewi, N Thapen SIAM Journal on Computing 44 (4), 1119-1153, 2015 582015

2-) The provably total search problems of bounded arithmetic A Skelley, N Thapen Proceedings of the London Mathematical Society 103 (1), 106-138, 2011 46*2011

3-) NP search problems in low fragments of bounded arithmeticJ Krajíček, A Skelley, N ThapenThe Journal of Symbolic Logic 72 (02), 649-672, 2007442007

4-) The strength of replacement in weak arithmeticS Cook, N ThapenACM Transactions on Computational Logic (TOCL) 7 (4), 749-764, 2006442006

5-) Fragments of approximate countingSR Buss, LA Kołodziejczyk, N ThapenThe Journal of Symbolic Logic 79 (2), 496-525, 2014402014

ARTICLES

Add your articles