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 · 801 citations · Full text

Abstract Algebra, Engineering, Well-founded Semantics +18

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 · 734 citations

Fuzzy Logic, Engineering, Logical Automaton +10

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

Context-free Grammars, Tree Language, Syntax +14

Generalized2 sequential machine maps

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

Artificial Intelligence, Abstract Machine, Engineering +2

Complexity of Computer Computations

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

Engineering, Abstract Complexity, Computer Computations +7