|
||
|
|
||
|
|
|
MR950433
(90b:68028)
68Q15
(03D15 05C25)
Babai, László; Moran, Shlomo Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity classes. 17th Annual ACM Symposium on the Theory of Computing (Providence, RI, 1985). J. Comput. System Sci. 36 (1988), no. 2, 254--276. |
|
|
| 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
|
