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 Wikipedia (en)-test Library of Congress/NACO German National Library

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

Goguen, Joseph 1941- German National Library

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 (7)

Open Section Close SectionWorks

Title Sources
Algebraic semantics of imperative programs 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 National Library of the Netherlands-test Sudoc [ABES], France
[http://www.imprint.co.uk/jcs.html journal of consciousness studies] Wikipedia (en)-test
journal of mathematical analysis and applications Wikipedia (en)-test
l Wikipedia (en)-test
mathematical structures in computer science Wikipedia (en)-test
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, c1987: National Library of the Netherlands-test Library of Congress/NACO
Requirements engineering social and technical issues National Library of the Netherlands-test Sudoc [ABES], France
Software engineering with OBJ algebraic specification in action National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
synthese Wikipedia (en)-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
What is unification? : a categorical view of substitution, equation, and solution 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 About

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