VIAF

Virtual International Authority File

Search

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

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- German National Library

Joseph Goguen Wikidata

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

VIAF ID: 94370071 (Personal)

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

ISNI-test: 0000  0001  1688  8997 

Open Section Close Section Preferred Forms

 

 

 

 

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

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, c1996: NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO National Library of Latvia
Art and the brain xR Extended Titles-test National Library of the Netherlands-test 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-test
Deduction with many-sorted rewrite National Library of the Netherlands-test
Final algebras, cosemicomputable algebras, and degrees of unsolvability National Library of the Netherlands-test
Institutions : abstract model theory for computer science National Library of the Netherlands-test
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-test
Modular algebraic specification of some basic geometrical constructions National Library of the Netherlands-test
Obj-1, a study in executable algebraic formal specification [microvorm] National Library of the Netherlands-test
One, none, a hundred thousand specification languages National Library of the Netherlands-test
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, c1987: National Library of the Netherlands-test Library of Congress/NACO
Order-sorted unification National Library of the Netherlands-test
Parameterized programming National Library of the Netherlands-test
Requirements engineering social and technical issues National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Sheaf semantics for concurrent interacting objects National Library of the Netherlands-test
Software engineering with OBJ algebraic specification in action National Library of the Netherlands-test 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-test
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-test
What is unification? a categorical view of substitution, equation, and solution xR Extended Titles-test National Library of the Netherlands-test 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 History of VIAF ID:94370071 (38)