VIAF

Virtual International Authority File

Search

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

Goguen, Joseph National Library of Australia Wikipedia (en) 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
'1 Wikipedia (en)
'18 Wikipedia (en)
'19 Wikipedia (en)
'6 Wikipedia (en)
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-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
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
[http://www.imprint.co.uk/jcs.html journal of consciousness studies] NUKAT Center of Warsaw University Library Wikipedia (en)
Institutions : abstract model theory for computer science National Library of the Netherlands-test
JCS NUKAT Center of Warsaw University Library
journal of mathematical analysis and applications Wikipedia (en)
l Wikipedia (en)
mathematical structures in computer science Wikipedia (en)
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 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
synthese Wikipedia (en)
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 About

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