BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
merlin (3)
class (1)
effici (1)
circuit (1)
theorem (1)

Stem arthur$ (all stems)

3 papers:

ICALPICALP-v1-2013-GurR #complexity #streaming
Arthur-Merlin Streaming Complexity (TG, RR), pp. 528–539.
STOCSTOC-2007-PassV #game studies #parallel #performance #theorem
An efficient parallel repetition theorem for Arthur-Merlin games (RP, MV), pp. 420–429.
STOCSTOC-2007-Santhanam #bound
Circuit lower bounds for Merlin-Arthur classes (RS), pp. 275–283.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.