Jesse B. Wright

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1984
Parameter Passing in Algebraic Specification Languages.
Theor. Comput. Sci., 1984

1983
Recursion and Iteration in Continuous Theories: The "M-Construction".
J. Comput. Syst. Sci., 1983

1982
Data Type Specification: Parameterization and the Power of Specification Techniques.
ACM Trans. Program. Lang. Syst., 1982

1981
More on Advice on Structuring Compilers and Proving them Correct.
Theor. Comput. Sci., 1981

1980
Vector Iteration in Pointed Iterative Theories.
SIAM J. Comput., 1980

Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation.
SIAM J. Comput., 1980

Parameterized Data Types in Algebraic Specification Languages (Short Version).
Proceedings of the Automata, 1980

1978
A Uniform Approach to Inductive Posets and Inductive Closure.
Theor. Comput. Sci., 1978

Programming Languages as Mathematical Objects.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977
Initial Algebra Semantics and Continuous Algebras.
J. ACM, 1977

1976
Some Fundamentals of Order-Algebraic Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Rational Algebraic Theories and Fixed-Point Solutions
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1974
Factorizations, Congruences, and the Decomposition of Automata and Systems.
Proceedings of the Mathematical Foundations of Computer Science, 1974

1972
Characterization of Recursively Enumerable Sets.
J. Symb. Log., 1972

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

1967
Automata in General Algebras
Inf. Control., October, 1967

Algebraic Automata and Context-Free Sets
Inf. Control., 1967

1962
Sequence Generators, Graphs, and Formal Languages
Inf. Control., September, 1962

1958
Realization of Events by Logical Nets.
J. ACM, 1958


  Loading...