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: |
Wikipedia https://ja.wikipedia.org/wiki/ジョセフ・ゴーグエン
|
Sources: |
NLN
NTA
ZETO
|