Entry Bonet:1997:NFI 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{Bonet:1997:NFI,
author = "M. L. Bonet and T. Pitassi and R. Raz",
title = "No feasible interpolation for {TC$^0$-Frege} proofs",
crossref = "IEEE:1997:ASF",
pages = "254--263",
year = "1997",
bibdate = "Thu Apr 5 06:13:52 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- $^0$,
0(0)441
- Beame, P.,
0(0)274,
0(0)692,
0(0)794,
1(0)420,
1(0)429
- Bonet, M. L.,
0(0)422,
0(0)638
- branching,
0(0)60,
0(0)309
- feasible,
0(0)369
- interpolation,
0(0)192,
0(0)378,
2(0)628
- Pitassi, T.,
0(0)187,
0(0)274,
0(0)692,
0(0)794
- program,
0(0)60,
0(0)258,
0(0)271,
0(0)309,
0(0)322,
0(0)382,
0(0)544,
0(0)674,
1(0)26,
1(0)327,
2(0)652
- proof,
0(0)2,
0(0)14,
0(0)18,
0(0)19,
0(0)26,
0(0)112,
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
- Raz, R.,
0(0)168,
0(0)191,
0(0)234
- Saks, M.,
0(0)197,
0(0)318,
0(0)344,
0(0)412,
1(0)65
- space, Time-,
0(0)228,
1(0)429
- Thathachar, J. S.,
0(0)309
- time-space,
0(0)228,
0(0)238,
0(0)264,
1(0)412,
1(0)429
- tradeoff,
0(0)6,
0(0)238,
0(0)334,
1(0)412,
1(0)420,
1(0)429,
2(0)766