Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Generalized finite automata theory with an application to a decision problem of second-order logic
- J. Thatcher, J. Wright
- Mathematics, Computer Science
- Mathematical systems theory
- 1 March 1968
TLDR
Initial Algebra Semantics and Continuous Algebras
- J. Goguen, J. Thatcher, E. G. Wagner, J. Wright
- Mathematics, Computer Science
- JACM
- 1977
TLDR
Algebraic Automata and Context-Free Sets
TLDR
Automata in General Algebras
- S. Eilenberg, J. Wright
- Computer Science
- Inf. Control.
- 1 October 1967
TLDR
Realization of Events by Logical Nets
- Irving M. Copi, C. C. Elgot, J. Wright
- Mathematics, Computer Science
- JACM
- 1 April 1958
TLDR
An analysis of a logical machine using parenthesis-free notation
- A. Burks, Don W. Warren, J. Wright
- Mathematics
- 1 May 1954
P-varieties - a signature independent characterization of varieties of ordered algebras
- S. L. Bloom, J. Wright
- Mathematics
- 1 July 1983
Abstract This paper is concerned mainly with classes (categories) of ordered algebras which in some signature are axiomatizable by a set of inequations between terms (‘varieties’ of ordered algebras)… Expand
Data type specification: Parameterization and the power of specification techniques
- J. Thatcher, E. G. Wagner, J. Wright
- Mathematics, Computer Science
- STOC '78
- 1 May 1978
TLDR
Data Type Specification: Parameterization and the Power of Specification Techniques
- J. Thatcher, E. G. Wagner, J. Wright
- Computer Science
- TOPL
- 1 October 1982
TLDR
More on Advice on Structuring Compilers and Proving Them Correct
- J. Thatcher, E. G. Wagner, J. Wright
- Computer Science
- ICALP
- 16 July 1979
TLDR