BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
J.Nordström P.Beame T.Pitassi
Talks about:
complex (3) proof (3) hard (2) succinct (1) communic (1) amplifi (1) amplif (1) virtu (1) trade (1) space (1)

Person: Trinh Huynh

DBLP DBLP: Huynh:Trinh

Contributed to:

STOC 20122012
STOC 20102010

Wrote 2 papers:

STOC-2012-HuynhN #communication #complexity #on the #proving #trade-off
On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity (TH, JN), pp. 233–248.
STOC-2010-BeameHP #complexity #proving
Hardness amplification in proof complexity (PB, TH, TP), pp. 87–96.

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.