( en | de | ru )

 

Disambiguation of "Goguen, Joseph A."

Author of the publication

copydeleteadd this publication to your clipboard
Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories.

, and . Theor. Comput. Sci., (1984)

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.

Healfdene Goguen

Joseph A Bracken

Joseph A Bracken

R. A. A. Bowler

°Ake °Akerström

 

Other publications of authors with the same name

A short Oxford survey of order sorted algebra.., and . Bulletin of the EATCS, (1992)OOZE., and . Object Orientation in Z, Springer, (1992)Introducing Institutions., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 221-256. Springer, (1983)The Semantics of CLEAR, A Specification Language., and . Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science, page 292-332. Springer, (1979)Style as a Choice of Blending Principles., and . AAAI Technical Report (7), FS-04-07, page 49-56. AAAI Press, (2004)Refinement of Concurrent Object Oriented Programs, and . PRG-TR-18-95. (1995)Requirements Engineering - Social and Technical Issues, and . Academic Press, Harcourt Brace & Company, London et al., (1994)A hidden Herbrand theorem: combining the object and logic paradigms., , and . J. Log. Algebraic Methods Program., 51 (1): 1-41 (2002)A hidden agenda., and . Theor. Comput. Sci., 245 (1): 55-101 (2000)Initial Algebra Semantics, and . SWAT, page 63-77. IEEE Computer Society, (1974)