Polynomial induction and length minimization in intuitionistic bounded arithmetic
Morteza MoniriVolume:
51
Year:
2005
Language:
english
Pages:
4
DOI:
10.1002/malq.200410008
File:
PDF, 80 KB
english, 2005