Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
Bolognani, Mario
Burstall, R.M.
Ferrari, Domenico (1940-))
Forman, Robert K. C.
Futatsugi, Kokichi
Malcolm, Grant
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
Art and the brain
Axioms, extensions and applications for fuzzy sets : languages and the representation of concepts
Completeness of many-sorted equational logic
Deduction with many-sorted rewrite
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
JCS
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
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
synthese
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 LC LNB NLP NTA NUKAT SUDOC WKP
TEL
ZETO