Entry Sudan:1998:PCP from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Sudan:1998:PCP,
author = "M. Sudan and L. Trevisan",
title = "Probabilistically checkable proofs with low amortized
query complexity",
crossref = "IEEE:1998:ASF",
pages = "18--27",
year = "1998",
bibdate = "Thu Apr 5 06:13:53 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- amortized,
0(0)92,
0(0)239
- complexity,
0(0)6,
0(0)59,
0(0)82,
0(0)88,
0(0)110,
0(0)135,
0(0)151,
0(0)168,
0(0)172,
0(0)177,
0(0)187,
0(0)212,
0(0)228,
0(0)236,
0(0)239,
0(0)249,
0(0)253,
0(0)269,
0(0)278,
0(0)314,
0(0)342,
0(0)352,
0(0)412,
0(0)459,
0(0)466,
0(0)480,
0(0)482,
0(0)484,
0(0)494,
0(0)520,
0(0)548,
0(0)594,
0(0)600,
0(0)606,
0(0)632,
0(0)638,
0(0)650,
0(0)653,
0(0)706,
0(0)724,
0(0)783,
0(0)807,
0(0)z,
1(0)106,
1(0)135,
1(0)203,
2(0)583,
2(0)672,
2(0)758,
2(0)766,
2(0)778,
2(0)794,
2(0)824
- low,
0(0)526
- proof,
0(0)2,
0(0)14,
0(0)19,
0(0)26,
0(0)112,
0(0)254,
0(0)422,
0(0)427,
0(0)436,
0(0)466,
0(0)486,
0(0)638,
0(0)648,
0(0)794,
1(0)2,
1(0)308,
2(0)563
- query,
0(0)8,
0(0)282,
0(0)294,
0(0)372,
0(0)441,
0(0)523,
0(0)547,
0(0)645,
0(0)706,
1(0)203
- Sudan, M.,
0(0)2,
0(0)8,
0(0)14,
0(0)28,
0(0)41,
0(0)164,
0(0)294,
0(0)422,
0(0)432,
0(0)475,
0(0)503,
0(0)511,
0(0)604,
0(0)617,
0(0)819
- Trevisan, L.,
0(0)8,
0(0)264,
0(0)617