VIAF

Virtual International Authority File

Search

Goguen, Joseph A. NUKAT Center of Warsaw University Library National Library of the Netherlands ISNI German National Library

Goguen, Joseph National Library of Australia Library of Congress/NACO German National Library

Goguen, Joseph A., 1941-.... Sudoc [ABES], France National Library of Latvia

Goguen, Joseph 1941-2006 German National Library

Joseph Goguen Computer scientist Wikidata

Goguen, Joseph Amadee (1941- ). National Library of Poland

VIAF ID: 94370071 (Personal)

Permalink: http://viaf.org/viaf/94370071

ISNI: 0000  0001  1688  8997 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (8)

Open Section Close Section 5xx's: Related Names (2)

Open Section Close SectionWorks

Title Sources
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday Library of Congress/NACO
Algebraic semantics of imperative programs NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO National Library of Latvia
Art and the brain National Library of the Netherlands Sudoc [ABES], France
Axioms, extensions and applications for fuzzy sets : languages and the representation of concepts National Library of Poland
Bridging Saint John Harbour Library of Congress/NACO
Completeness of many-sorted equational logic National Library of the Netherlands
Deduction with many-sorted rewrite National Library of the Netherlands
Final algebras, cosemicomputable algebras, and degrees of unsolvability National Library of the Netherlands
Institutions : abstract model theory for computer science National Library of the Netherlands
JCS NUKAT Center of Warsaw University Library
Journal of Consciousness Studies : controversies in science & the humanities NUKAT Center of Warsaw University Library
Models and equality for logical programming National Library of the Netherlands
Modular algebraic specification of some basic geometrical constructions National Library of the Netherlands
Obj-1, a study in executable algebraic formal specification [microvorm] National Library of the Netherlands
One, none, a hundred thousand specification languages National Library of the Netherlands
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, c1987: National Library of the Netherlands Library of Congress/NACO
Order-sorted unification National Library of the Netherlands
Parameterized programming National Library of the Netherlands
Requirements engineering social and technical issues National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Sheaf semantics for concurrent interacting objects National Library of the Netherlands
Software engineering with OBJ algebraic specification in action National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
A study in the foundations of programming methodology : specifications, institutions, charters and parchments National Library of the Netherlands
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 Sudoc [ABES], France Library of Congress/NACO
Unifying functional, object-oriented and relational programming with logical semantics National Library of the Netherlands
What is unification? : a categorical view of substitution, equation, and solution National Library of the Netherlands Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:94370071 (38)