Goguen, Joseph A.
Goguen, Joseph
Goguen, Joseph A., 1941-....
Goguen, Joseph 1941-2006
Joseph Amadee Goguen American computer scientist (1941-2006)
Goguen, Joseph Amadee (1941- )
VIAF ID: 94370071 ( Personal )
Permalink: http://viaf.org/viaf/94370071
Preferred Forms
- 100 1 _ ‡a Goguen, Joseph
-
-
-
- 100 1 _ ‡a Goguen, Joseph
-
-
-
-
- 100 1 _ ‡a Goguen, Joseph A.
-
-
- 100 1 _ ‡a Goguen, Joseph A., ‡d 1941-....
-
- 100 1 _ ‡a Goguen, Joseph ‡d 1941-2006
- 100 0 _ ‡a Joseph Amadee Goguen ‡c American computer scientist (1941-2006)
4xx's: Alternate Name Forms (17)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
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 | |
Categories of fuzzy sets : applications of non-cantorian set theory | |
Completeness of many-sorted equational logic | |
Deduction with many-sorted rewrite | |
Final algebras, cosemicomputable algebras, and degrees of unsolvability | |
Four pieces on error, truth and reality | |
Institutions : abstract model theory for computer science | |
Introducing OBJ | |
JCS | |
Journal of Consciousness Studies : controversies in science & the humanities | |
Models and equality for logical programming | |
Modular algebraic specification of some basic geometrical constructions | |
Obj-1, a study in executable algebraic formal specification [microvorm] | |
One, note, a hundred thousand specification languages | |
Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations | |
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, c1987: | |
Order-sorted unification | |
Parameterized programming | |
Requirements engineering, c1994: | |
Sheaf semantics for concurrent interacting objects | |
Software engineering with OBJ : algebraic specification in action | |
A study in the foundations of programming methodology : specifications, institutions, charters and parchments | |
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 | |
Three perspectives on information integration | |
Unifying functional, object-oriented and relational programming with logical semantics | |
What is unification? : a categorical view of substitution, equation, and solution |