Number of the records: 1
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem
- 1.Thapen, N. Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem. Archive for Mathematical Logic. 2011, 50(7-8), 665-680. ISSN 0933-5846. E-ISSN 1432-0665. Available: doi: 10.1007/s00153-011-0240-0.
Number of the records: 1