VIAF

Virtual International Authority File

Search

Plotkin, Gordon, 1946-.... NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France German National Library

Plotkin, G. (Gordon), 1946- National Library of Australia Library of Congress/NACO

Plotkin, Gordon Wikipedia (en)-test National Library of France German National Library

Plotkin, G. ISNI-test

Plotkin, G. (1946- ). National Library of Poland

VIAF ID: 81146152 (Personal)

Permalink: http://viaf.org/viaf/81146152

ISNI-test: 0000  0001  1073  0398 

Open Section Close Section Preferred Forms

 

 

 

 

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

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

  • 510 2 _ ‎‡a  University‏ ‎‡9  g:Edinburgh‏ ‎‡b  Department of Computer Science‏ ‎‡e  Affiliation German National Library

Open Section Close SectionWorks

Title Sources
Computational logic essays in honor of Alan Robinson NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Logical environments / ed. by Gérard Huet, Gordon Plotkin, 1993 Sudoc [ABES], France Library of Congress/NACO National Library of France
Logical frameworks [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990] NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Proof, language, and interaction : essays in honour of Robin Milner NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Semantics of data types, 1984: National Library of Poland Library of Congress/NACO
Transactions on Computational Systems Biology VI National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings NUKAT Center of Warsaw University Library Sudoc [ABES], France 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 (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:81146152 (15)