New Real-Time Simulations of Multihead Tape Units

Authors:
Benton L. Leong;Joel I. Seiferas
Affiliations:
Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 and The Pennsylvania State University, University Park, Pennsylvania;Department of Computer Science, University of Rochester, Rochester, NY and The Pennsylvania State University, University Park, Pennsylvania
Venue:
Journal of the ACM (JACM)
Year:
1981

Real-time deques, multihead Turing machines, and purely functional programming

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Machine models and linear time complexity

ACM SIGACT News
Two heads are better than two tapes

STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Persistent lists with catenation via recursive slow-down

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Two heads are better than two tapes

Journal of the ACM (JACM)
Purely functional, real-time deques with catenation

Journal of the ACM (JACM)
Stacks versus Deques

COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Localized search in sorted lists

STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
An information-theoretic approach to time bounds for on-line computation (preliminary version)

STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Two nonlinear lower bounds

STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing

Hi-index	0.02