VIAF

Virtual International Authority File

Search

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

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

Plotkin, Gordon Wikipedia (en) 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
Automatic methods of inductive inference Sudoc [ABES], France
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
Domaines concrets Sudoc [ABES], France
Logical environments Sudoc [ABES], France Library of Congress/NACO National Library of France
Logical Frameworks NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Proceedings of the 1992 workshop on types for proofs and programs Båstad [Sweden, from the 8th to the 12th of] June 1992 Sudoc [ABES], France
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 Sudoc [ABES], France Library of Congress/NACO
A structural approach to operational semantics Sudoc [ABES], France
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 (6)

Open Section Close Section About

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