Writing stack acceptors

Two-Tape Simulation of Multitape Turing Machines

Journal of the ACM (JACM)

Stack automata and compiling

Journal of the ACM (JACM)

Relations Between Time and Tape Complexities

Journal of the ACM (JACM)

Tape- and time-bounded Turing acceptors and AFLs (Extended Abstract)

STOC '70 Proceedings of the second annual ACM symposium on Theory of computing

Variations on pushdown machines (Detailed Abstract)

STOC '69 Proceedings of the first annual ACM symposium on Theory of computing

Formal languages and their relation to automata

Formal languages and their relation to automata

Computational complexity of recursive sequnces

SWCT '64 Proceedings of the 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design

Writing pushdown acceptors

Journal of Computer and System Sciences

Relationships between nondeterministic and deterministic tape complexities

Journal of Computer and System Sciences

Principal AFL

Journal of Computer and System Sciences