Tape-bounds for time-bounded Turing machines | IEEE Conference Publication | IEEE Xplore