J. W. Thatcher

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

Computing, Computer Science, Algebra +12

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

Characterizing derivation trees of context-free grammars through a generalization of finite automata theory

J. W. Thatcher · Journal of Computer and System Sciences · 1967 · 265 citations

Computing, Computer Science, Computational Linguistics +12

Generalized2 sequential machine maps

J. W. Thatcher · Journal of Computer and System Sciences · 1970 · 237 citations

Engineering, Computer Engineering, Computer Science +5

Complexity of Computer Computations

John R. Rice, Raymond E. Miller, J. W. Thatcher · Mathematics of Computation · 1974 · 207 citations

Computing, Computer Science, Mathematics +12