Iterated stack automata and complexity classes

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +17

Proof of correctness of data representations

C. A. R. Hoare · Acta Informatica · 1972 · 967 citations

Computing, Computer Science, Databases +11

Indexed Grammars—An Extension of Context-Free Grammars

Alfred V. Aho · Journal of the ACM · 1968 · 441 citations · Full text

Computing, Computer Science, Mathematics +16

Space-bounded reducibility among combinatorial problems

Neil D. Jones · Journal of Computer and System Sciences · 1975 · 365 citations

Natural Sciences, Computer Science, Mathematics +12