Real-Time Simulation of Multihead Tape Units

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

Pure versus impure Lisp

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pure versus impure Lisp

ACM Transactions on Programming Languages and Systems (TOPLAS)

Two heads are better than two tapes

Journal of the ACM (JACM)

A Linear-Time On-Line Recognition Algorithm for ``Palstar''

Journal of the ACM (JACM)

Separating Nondeterministic Time Complexity Classes

Journal of the ACM (JACM)

Relations Among Complexity Measures

Journal of the ACM (JACM)

Encoding Data Structures in Trees

Journal of the ACM (JACM)

String Matching in Real Time

Journal of the ACM (JACM)

New Real-Time Simulations of Multihead Tape Units

Journal of the ACM (JACM)

Purely functional, real-time deques with catenation

Journal of the ACM (JACM)

De-amortization of Algorithms

COCOON '98 Proceedings of the 4th Annual International Conference on Computing and Combinatorics

Stacks versus Deques

COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics

New real-time simulations of multihead tape units

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing

Real-time algorithms for string-matching and palindrome recognition

STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing

Fast on-line integer multiplication

STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing

Real-time simulation of concatenable double-ended queues by double-ended queues (Preliminary Version)

STOC '79 Proceedings of the eleventh 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

Saving tapes in the simulation of multihead turing machines

ACM SIGACT News

On the sequential nature of functions

Journal of Computer and System Sciences

Oblivious RAM simulation with efficient worst-case access overhead

Proceedings of the 3rd ACM workshop on Cloud computing security workshop