Jesse B. Wright

发表

Programming Languages as Mathematical Objects

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1978, MFCS.

Algebraic Automata and Context-Free Sets

Jesse B. Wright, J. Mezei, J. Wright, 1967, Inf. Control..

Factorizations, Congruences, and the Decomposition of Automata and Systems

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1974, MFCS.

More on Advice on Structuring Compilers and Proving them Correct

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1979, Theor. Comput. Sci..

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

James W. Thatcher, Jesse B. Wright, J. Wright, 1968, Mathematical systems theory.

A Uniform Approach to Inductive Posets and Inductive Closure

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1977, MFCS.

Truth-function evaluation using the Polish notation

Arthur W. Burks, Jesse B. Wright, Don W. Warren, 1952 .

Parameter Passing in Algebraic Specification Languages

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, 1981, Theor. Comput. Sci..

Some Fundamentals of Order-Algebraic Semantics

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1976, MFCS.

Parameter Passing in Algebraic Specification Languages

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, 1984, Theor. Comput. Sci..

Data Type Specification: Parameterization and the Power of Specification Techniques

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1982, TOPL.

SEQUENCE GENERATORS AND FORMAL LANGUAGES

Arthur W. Burks, Jesse B. Wright, 1961 .

The use of a digital computer to model a signalized intersection

Jesse B. Wright, Harry Herbert Goode, Carl H. Pollmar, 1956 .

Rational algebraic theories and fixed-point solutions

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

Automata in General Algebras

Jesse B. Wright, Samuel Eilenberg, J. Wright, 1967, Inf. Control..

More on advice on structuring compilers and proving them correct

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1980, Semantics-Directed Compiler Generation.

Recursion and Iteration in Continuous Theories: The "M-Construction"

James W. Thatcher, Stephen L. Bloom, Eric G. Wagner, 1983, J. Comput. Syst. Sci..

Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation

Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright, 1980, SIAM J. Comput..

Realization of Events by Logical Nets

Calvin C. Elgot, Jesse B. Wright, C. C. Elgot, 1958, JACM.

Characterization of Recursively Enumerable Sets

Jesse B. Wright, 1972, J. Symb. Log..

Language conversion for digital computers : general introduction and volume I, the logical realization of transliterative functions

Arthur W. Burks, Jesse B. Wright, Carl H. Pollmar, 2000 .

More on Advice on Structuring Compilers and Proving them Correct

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1981, Theor. Comput. Sci..

A Uniform Approach to Inductive Posets and Inductive Closure

James W. Thatcher, Eric G. Wagner, Jesse B. Wright, 1977, Theor. Comput. Sci..

Sequence Generators, Graphs, and Formal Languages

Arthur W. Burks, Jesse B. Wright, 1962, Inf. Control..

Sequence generators and digital computers : technical report.

Arthur W. Burks, Jesse B. Wright, 1961 .

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1977, J. ACM.

A Kernel Language for Algebraic Specification and Implementation

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, 1983, ADT.

Vector Iteration in Pointed Iterative Theories

Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright, 1980, SIAM J. Comput..

Language conversion for digital computers. Vol. 2 : The physical realization of code and format conversion

Arthur W. Burks, Jesse B. Wright, Carl H. Pollmar, 2000 .

Design algorithms in automata languages : final report

Arthur W. Burks, Calvin C. Elgot, Jesse B. Wright, 1960 .

QUANTIFIER ELIMINATION IN A PROBLEM OF LOGICAL DESIGN

Calvin C. Elgot, Jesse B. Wright, C. C. Elgot, 1959 .

The folded tree

Robert McNaughton, Arthur W. Burks, Jesse B. Wright, 1955 .

Finitary quasi-varieties

Stephen L. Bloom, Jesse B. Wright, 1982 .