( en | de | ru )

 

Disambiguation of "Thatcher, James W."

Author of the publication

copydeleteadd this publication to your clipboard
Factorizations, Congruences, and the Decomposition of Automata and Systems.

, , , and . MFCS, volume 28 of Lecture Notes in Computer Science, page 33-45. Springer, (1974)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Other publications of authors with the same name

Algebraic Specifications with Generating Constraints., , and . ICALP, volume 154 of Lecture Notes in Computer Science, page 188-202. Springer, (1983)Algebraic Semantics (Abstract).. TAPSOFT, Vol.1, volume 249 of Lecture Notes in Computer Science, page 287. Springer, (1987)Data Abstraction, Data Bases and Conceptual Modelling.. Workshop on Data Abstraction, Databases and Conceptual Modelling, 11, page 196-197. ACM Press, (1980)Initial Algebra Semantics, and . SWAT, page 63-77. IEEE Computer Society, (1974)Rational Algebraic Theories and Fixed-Point Solutions, , , and . FOCS, page 147-158. IEEE Computer Society, (1976)The algebraic theory of recursive program schemes., and . Category Theory Applied to Computation and Control, volume 25 of Lecture Notes in Computer Science, page 126-131. Springer, (1974)Some Fundamentals of Order-Algebraic Semantics., , , and . MFCS, volume 45 of Lecture Notes in Computer Science, page 153-168. Springer, (1976)Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic., and . Math. Syst. Theory, 2 (1): 57-81 (1968)More on advice on structuring compilers and proving them correct., , and . Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, page 165-188. Springer, (1980)Types (discussion)., , , , , , and . Workshop on Data Abstraction, Databases and Conceptual Modelling, 11, page 43-52. ACM Press, (1980)