( 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 3: Indexed Categories.

, , and . Theor. Comput. Sci., 91 (2): 239-264 (1991)

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

Style as a Choice of Blending Principles., and . AAAI Technical Report (7), FS-04-07, page 49-56. AAAI Press, (2004)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)Requirements Engineering - Social and Technical Issues, and . Academic Press, Harcourt Brace & Company, London et al., (1994)Refinement of Concurrent Object Oriented Programs, and . PRG-TR-18-95. (1995)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)A protocol for distributed cooperative work., and . WDS@FCT, volume 28 of Electronic Notes in Theoretical Computer Science, page 3. Elsevier, (1999)