Jesse B. Wright

According to our database, Jesse B. Wright authored at least 19 papers between 1958 and 1984.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1984

Parameter Passing in Algebraic Specification Languages.

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Theor. Comput. Sci., 1984

1983

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

Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

J. Comput. Syst. Sci., 1983

1982

Data Type Specification: Parameterization and the Power of Specification Techniques.

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

ACM Trans. Program. Lang. Syst., 1982

1981

More on Advice on Structuring Compilers and Proving them Correct.

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

Theor. Comput. Sci., 1981

1980

Vector Iteration in Pointed Iterative Theories.

Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright

SIAM J. Comput., 1980

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

Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright

SIAM J. Comput., 1980

Parameterized Data Types in Algebraic Specification Languages (Short Version).

Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the Automata, 1980

1978

A Uniform Approach to Inductive Posets and Inductive Closure.

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

Theor. Comput. Sci., 1978

Programming Languages as Mathematical Objects.

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

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

Initial Algebra Semantics and Continuous Algebras.

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

J. ACM, 1977

1976

Some Fundamentals of Order-Algebraic Semantics.

Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Rational Algebraic Theories and Fixed-Point Solutions

Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1974

Factorizations, Congruences, and the Decomposition of Automata and Systems.

Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright

Proceedings of the Mathematical Foundations of Computer Science, 1974

1972

Characterization of Recursively Enumerable Sets.

Jesse B. Wright

J. Symb. Log., 1972

1968

Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic.

James W. Thatcher, Jesse B. Wright

Math. Syst. Theory, 1968

1967

Automata in General Algebras

Samuel Eilenberg, Jesse B. Wright

Inf. Control., October, 1967

Algebraic Automata and Context-Free Sets

Jorge E. Mezei, Jesse B. Wright

Inf. Control., 1967

1962

Sequence Generators, Graphs, and Formal Languages

Arthur W. Burks, Jesse B. Wright

Inf. Control., September, 1962

1958

Realization of Events by Logical Nets.

Irving M. Copi, Calvin C. Elgot, Jesse B. Wright

J. ACM, 1958