BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
R.Impagliazzo D.Barber P.Beame
Talks about:
resolut (2) space (2) superpolynomi (1) superlinear (1) tradeoff (1) learnabl (1) regular (1) tacton (1) strong (1) effect (1)

Person: Christopher Beck

DBLP DBLP: Beck:Christopher

Contributed to:

HCI/HIMI p1 20152015
STOC 20132013
STOC 20122012

Wrote 3 papers:

Effects of Tacton Names and Learnability (DB, CB), pp. 335–344.
Strong ETH holds for regular resolution (CB, RI), pp. 487–494.
STOC-2012-BeameBI #bound #trade-off
Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.

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.