Search the dblp DataBase
James W. Thatcher :
[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 ] Rod M. Burstall , James W. Thatcher The algebraic theory of recursive program schemes. [Citation Graph (0, 0)][DBLP ] Category Theory Applied to Computation and Control, 1974, pp:126-131 [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 ] Joseph A. Goguen , James W. Thatcher Initial Algebra Semantics [Citation Graph (0, 0)][DBLP ] FOCS, 1974, pp:63-77 [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 ] Hartmut Ehrig , Eric G. Wagner , James W. Thatcher Algebraic Specifications with Generating Constraints. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:188-202 [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 ] Lawrence A. Rowe , L. Peter Deutsch , Mary Shaw , James W. Thatcher , Heinrich C. Mayr , Stephen N. Zilles , Patrick J. Hayes Types (discussion). [Citation Graph (0, 0)][DBLP ] Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:43-52 [Conf ] James W. Thatcher Data Abstraction, Data Bases and Conceptual Modelling. [Citation Graph (0, 0)][DBLP ] Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:196-197 [Conf ] James W. Thatcher Transformations and Translations from the Point of View of Generalized Finite Automata Theory [Citation Graph (0, 0)][DBLP ] STOC, 1969, pp:129-142 [Conf ] James W. Thatcher Algebraic Semantics (Abstract). [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1987, pp:287- [Conf ] Arnold L. Rosenberg , James W. Thatcher What Is a Multilevel Array? [Citation Graph (0, 0)][DBLP ] IBM Journal of Research and Development, 1975, v:19, n:2, pp:163-169 [Journal ] Matthew King , James W. Thatcher , Philip Matthew Bronstad , Robert Easton Managing usability for people with disabilities in a large Web presence. [Citation Graph (0, 0)][DBLP ] IBM Systems Journal, 2005, v:44, n:3, pp:519-536 [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 ] James W. Thatcher Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1967, v:1, n:4, pp:317-322 [Journal ] James W. Thatcher Generalized Sequential Machine Maps. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1970, v:4, n:4, pp:339-367 [Journal ] James W. Thatcher Decision Problems for Multiple Successor Arithmetics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1966, v:31, n:2, pp:182-190 [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 ] R. K. Shyamasundar , James W. Thatcher Language Constructs for Specifying Concurrency in CDL*. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:8, pp:977-993 [Journal ] Search in 0.003secs, Finished in 0.004secs