Neil Thapen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Stephen A. Cook, Neil Thapen: The strength of replacement in weak arithmetic. ACM Trans. Comput. Log. 7(4): 749-764 (2006)

4 Stephen A. Cook, Neil Thapen: The Strength of Replacement in Weak Arithmetic. LICS 2004: 256-264

3 Stephen A. Cook, Neil Thapen: The strength of replacement in weak arithmetic CoRR cs.LO/0409015: (2004)

Selection of 3 from 10 records - Neil Thapen has 4 coauthors

9		Stephen A. Cook, Neil Thapen: The strength of replacement in weak arithmetic. ACM Trans. Comput. Log. 7(4): 749-764 (2006)
4		Stephen A. Cook, Neil Thapen: The Strength of Replacement in Weak Arithmetic. LICS 2004: 256-264
3		Stephen A. Cook, Neil Thapen: The strength of replacement in weak arithmetic CoRR cs.LO/0409015: (2004)