Entry Beame:1994:LBH 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{Beame:1994:LBH,
author = "P. Beame and R. Impagliazzo and J. Krajicek and T.
Pitassi and P. Pudlak",
title = "Lower bounds on {Hilbert}'s {Nullstellensatz} and
propositional proofs",
crossref = "Goldwasser:1994:P",
pages = "794--806",
year = "1994",
bibdate = "Thu Apr 5 06:13:51 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- Beame, P.,
0(0)254,
0(0)274,
0(0)692,
1(0)420,
1(0)429
- bound,
0(0)16,
0(0)36,
0(0)45,
0(0)51,
0(0)60,
0(0)114,
0(0)124,
0(0)141,
0(0)156,
0(0)166,
0(0)194,
0(0)197,
0(0)206,
0(0)218,
0(0)226,
0(0)228,
0(0)249,
0(0)253,
0(0)258,
0(0)269,
0(0)274,
0(0)279,
0(0)282,
0(0)288,
0(0)302,
0(0)314,
0(0)334,
0(0)347,
0(0)352,
0(0)352,
0(0)358,
0(0)369,
0(0)378,
0(0)382,
0(0)438,
0(0)462,
0(0)472,
0(0)484,
0(0)498,
0(0)524,
0(0)528,
0(0)548,
0(0)560,
0(0)585,
0(0)592,
0(0)594,
0(0)594,
0(0)600,
0(0)602,
0(0)612,
0(0)622,
0(0)628,
0(0)648,
0(0)674,
0(0)674,
0(0)680,
0(0)684,
0(0)692,
0(0)752,
0(0)777,
1(0)76,
1(0)285,
2(0)628,
2(0)672,
2(0)766
- Impagliazzo, R.,
0(0)181,
0(0)249,
0(0)374,
0(0)415,
0(0)538,
0(0)653,
0(0)692,
0(0)734,
0(0)802,
1(0)318,
2(0)812
- lower,
0(0)16,
0(0)45,
0(0)60,
0(0)124,
0(0)206,
0(0)226,
0(0)228,
0(0)249,
0(0)253,
0(0)258,
0(0)269,
0(0)274,
0(0)279,
0(0)288,
0(0)302,
0(0)334,
0(0)352,
0(0)352,
0(0)369,
0(0)374,
0(0)378,
0(0)438,
0(0)472,
0(0)484,
0(0)498,
0(0)528,
0(0)548,
0(0)594,
0(0)594,
0(0)602,
0(0)612,
0(0)622,
0(0)648,
0(0)674,
0(0)674,
0(0)692,
0(0)777,
1(0)76,
2(0)628
- Nullstellensatz,
0(0)648
- Pitassi, T.,
0(0)187,
0(0)254,
0(0)274,
0(0)692
- proof,
0(0)2,
0(0)14,
0(0)18,
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,
1(0)2,
1(0)308,
2(0)563
- propositional,
2(0)662
- Pudlak, P.,
0(0)124,
0(0)566,
0(0)682