Person
ISNI: 
0000 0001 1688 8997
https://isni.org/isni/0000000116888997
Name: 
Goguen, J.
Goguen, J. A.
Goguen, Joseph
Goguen, Joseph A.
Goguen, Joseph Amadee
Joseph Goguen (Amerikaans informaticus (1941-2006))
Joseph Goguen (Computer scientist)
ジョセフ・ゴーグエン
Dates: 
1941-
Creation class: 
article
Language material
Creation role: 
author
creator
redactor
Related names: 
Bolognani, Mario
Burstall, R.M.
Ferrari, Domenico (1940-))
Forman, Robert K. C.
Futatsugi, Kokichi
Jirotka, Marina
Malcolm, Grant
Malcolm, Grant (1962-)
Malcolm, Grant Reynold (1962-)
Meseguer, José
Smolka, Gert
Titles: 
`Visual Space Perception' (Review)
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Algebraic semantics of imperative programs
Art and the brain.
Axioms, extensions and applications for fuzzy sets : languages and the representation of concepts
Bridging Saint John Harbour
Completeness of many-sorted equational logic
Deduction with many-sorted rewrite
Final algebras, cosemicomputable algebras, and degrees of unsolvability
Institutions : abstract model theory for computer science
JCS
Journal of Consciousness Studies : controversies in science & the humanities
Models and equality for logical programming
Modular algebraic specification of some basic geometrical constructions
Musical Qualia, Context, Time and Emotion
Obj-1, a study in executable algebraic formal specification [microvorm]
One, none, a hundred thousand specification languages
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, c1987:
Order-sorted unification
Parameterized programming
Requirements engineering : social and technical issues
Sheaf semantics for concurrent interacting objects
Software engineering with OBJ : algebraic specification in action
study in the foundations of programming methodology, A : specifications, institutions, charters and parchments
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982
Unifying functional, object-oriented and relational programming with logical semantics
What is unification? : a categorical view of substitution, equation, and solution
Contributed to or performed: 
JOURNAL OF CONSCIOUSNESS STUDIES
Notes: 
Sources: 
VIAF LNB NLP NUKAT SUDOC WKD
NLN
NTA
ZETO