Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

16 results for J.W. Thatcher

More on advice on structuring compilers and proving them correct
- - James W. Thatcher
  - Eric G. Wagner
  - et al.
- 1981
- Theoretical Computer Science
A uniform approach to inductive posets and inductive closure
- - J.B. Wright
  - E.G. Wagner
  - et al.
- 1978
- Theoretical Computer Science
Parallel realization of systems, using factorizations and quotients in categories
- - J.A. Goguen
  - J.W. Thatcher
  - et al.
- 1976
- Journal of the Franklin Institute
Generalized² sequential machine maps
- - James W. Thatcher
- 1970
- Journal of Computer and System Sciences
Generalized finite automata theory with an application to a decision problem of second-order logic
- - J.W. Thatcher
  - J.B. Wright
- 1968
- Mathematical Systems Theory
Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
- - J.W. Thatcher
- 1967
- Journal of Computer and System Sciences