Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000116888997 | 1 hits
Person
ISNI: 
0000 0001 1688 8997
Name: 
Goguen, J.
Goguen, J. A.
Goguen, Joseph
Goguen, Joseph A.
Goguen, Joseph Amadee
Dates: 
1941-
Creation class: 
article
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Burstall, R.M.
Ferrari, Domenico (1940-)
Forman, Robert K. C.
Futatsugi, Kokichi
Jouannaud, Jean-Pierre
Malcolm, Grant (1962-)
Malcolm, Grant Reynold (1962-)
Meseguer, J.
Meseguer, José
Smolka, Gert
Titles: 
`Visual Space Perception' (Review)
'1
'18
'19
'6
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Algebraic semantics of imperative programs, c1996:
Art and the brain..
Completeness of many-sorted equational logic
Deduction with many-sorted rewrite
Equality, types, modules, and generics for logic programming
Final algebras, cosemicomputable algebras, and degrees of unsolvability
[http://www.imprint.co.uk/jcs.html journal of consciousness studies]
Institutions : abstract model theory for computer science
J. consciousness studies
JCS
Journal of Consciousness Studies : controversies in science & the humanities
journal of mathematical analysis and applications
l
mathematical structures in computer science
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, c1994:
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
synthese
Technology Seminar on Software Factory Experiences (2nd : 1982 : Capri, Italy). Theory and practice of software technology, 1983 (a.e.)
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 categorial view of substitution, equation and solution
What is unification? : a categorical view of substitution, equation, and solution
Contributed to or performed: 
JOURNAL OF CONSCIOUSNESS STUDIES
Notes: 
Sources: 
VIAF LC LNB NTA NUKAT SUDOC WKP
TEL
ZETO