Assertion: dissertation | /r/AtLocation | paper
Facets:
value: at stoc'84
type: TEMPORAL
value: originally
type: MANNER
Source sentences:
text: The thesis originally appeared in a paper at STOC'84, which was the first paper to show that polynomial-time overhead and constant-space overhead could be simultaneously achieved for a simulation of a Random Access Machine on a Turing machine.