|
|
||
|
|
|
MR2320295
(2008i:03068)
03F30
(03D15 68Q15)
Krajíček, Jan; Skelley, Alan; Thapen, Neil NP search problems in low fragments of bounded arithmetic. J. Symbolic Logic 72 (2007), no. 2, 649--672. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|