The SCEAS System
| |||||||

## Search the dblp DataBase
Jesse B. Wright:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- James W. Thatcher, Jesse B. Wright
**Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic.**[Citation Graph (9, 0)][DBLP] Mathematical Systems Theory, 1968, v:2, n:1, pp:57-81 [Journal] - James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Data Type Specification: Parameterization and the Power of Specification Techniques.**[Citation Graph (3, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:711-732 [Journal] - Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Initial Algebra Semantics and Continuous Algebras.**[Citation Graph (2, 0)][DBLP] J. ACM, 1977, v:24, n:1, pp:68-95 [Journal] - James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Data Type Specification: Parameterization and the Power of Specification Techniques**[Citation Graph (1, 0)][DBLP] STOC, 1978, pp:119-132 [Conf] - James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**More on advice on structuring compilers and proving them correct.**[Citation Graph (0, 0)][DBLP] Semantics-Directed Compiler Generation, 1980, pp:165-188 [Conf] - Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Parameter Passing in Algebraic Specification Languages.**[Citation Graph (0, 0)][DBLP] Program Specification, 1981, pp:322-369 [Conf] - Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
**Rational Algebraic Theories and Fixed-Point Solutions**[Citation Graph (0, 0)][DBLP] FOCS, 1976, pp:147-158 [Conf] - Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Parameterized Data Types in Algebraic Specification Languages (Short Version).**[Citation Graph (0, 0)][DBLP] ICALP, 1980, pp:157-168 [Conf] - James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**More on Advice on Structuring Compilers and Proving Them Correct.**[Citation Graph (0, 0)][DBLP] ICALP, 1979, pp:596-615 [Conf] - Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Factorizations, Congruences, and the Decomposition of Automata and Systems.**[Citation Graph (0, 0)][DBLP] MFCS, 1974, pp:33-45 [Conf] - Eric G. Wagner, James W. Thatcher, Jesse B. Wright
**Programming Languages as Mathematical Objects.**[Citation Graph (0, 0)][DBLP] MFCS, 1978, pp:84-101 [Conf] - Jesse B. Wright, Eric G. Wagner, James W. Thatcher
**A Uniform Approach to Inductive Posets and Inductive Closure.**[Citation Graph (0, 0)][DBLP] MFCS, 1977, pp:192-212 [Conf] - Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
**Some Fundamentals of Order-Algebraic Semantics.**[Citation Graph (0, 0)][DBLP] MFCS, 1976, pp:153-168 [Conf] - Arthur W. Burks, Jesse B. Wright
**Sequence Generators, Graphs, and Formal Languages**[Citation Graph (0, 0)][DBLP] Information and Control, 1962, v:5, n:3, pp:204-212 [Journal] - Samuel Eilenberg, Jesse B. Wright
**Automata in General Algebras**[Citation Graph (0, 0)][DBLP] Information and Control, 1967, v:11, n:4, pp:452-470 [Journal] - J. Mezei, Jesse B. Wright
**Algebraic Automata and Context-Free Sets**[Citation Graph (0, 0)][DBLP] Information and Control, 1967, v:11, n:1/2, pp:3-29 [Journal] - Irving M. Copi, Calvin C. Elgot, Jesse B. Wright
**Realization of Events by Logical Nets.**[Citation Graph (0, 0)][DBLP] J. ACM, 1958, v:5, n:2, pp:181-196 [Journal] - Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Recursion and Iteration in Continuous Theories: The "M-Construction".**[Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:148-164 [Journal] - Jesse B. Wright
**Characterization of Recursively Enumerable Sets.**[Citation Graph (0, 0)][DBLP] J. Symb. Log., 1972, v:37, n:3, pp:507-511 [Journal] - Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
**Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation.**[Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:1, pp:25-45 [Journal] - Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright
**Vector Iteration in Pointed Iterative Theories.**[Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1980, v:9, n:3, pp:525-540 [Journal] - Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**Parameter Passing in Algebraic Specification Languages.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:28, n:, pp:45-81 [Journal] - James W. Thatcher, Eric G. Wagner, Jesse B. Wright
**More on Advice on Structuring Compilers and Proving them Correct.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1981, v:15, n:, pp:223-249 [Journal] - Jesse B. Wright, Eric G. Wagner, James W. Thatcher
**A Uniform Approach to Inductive Posets and Inductive Closure.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1978, v:7, n:, pp:57-77 [Journal]
Search in 0.035secs, Finished in 0.036secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |