|
|
||
|
|
|
MR1614328
(99d:68077a)
68Q15
(03B35 03D15 68Q25)
Arora, Sanjeev; Safra, Shmuel Probabilistic checking of proofs: a new characterization of NP. J. ACM 45 (1998), no. 1, 70--122. |
|
|
| 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
|