Descriptions of Cross-Serial Dependencies

Weak Second‐Order Arithmetic and Finite Automata

J Büchi · Mathematical logic quarterly · 1960 · 819 citations

Computing, Computer Science, Mathematics +9

Generalized finite automata theory with an application to a decision problem of second-order logic

J. W. Thatcher, Jesse B. Wright · Theory of Computing Systems · 1968 · 737 citations

Computing, Computer Science, Mathematics +9

Evidence against the context-freeness of natural language

Stuart M. Shieber · Linguistics and Philosophy · 1985 · 653 citations · Full text

Computing, Computer Science, Computational Linguistics +10

Languages that Capture Complexity Classes

Neil Immerman · SIAM Journal on Computing · 1987 · 545 citations

Computing, Computer Science, Mathematics +17

Tree acceptors and some of their applications

John Doner · Journal of Computer and System Sciences · 1970 · 494 citations

Natural Resources, Forestry, Forest Mensuration +4