VIAF

Virtual International Authority File

Search

Plotkin, Gordon, 1946-.... National Library of the Netherlands 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 National Library of France German National Library

Plotkin, G. ISNI

Gordon Plotkin Wikidata

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

VIAF ID: 81146152 (Personal)

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

ISNI: 0000  0001  1073  0398 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 National Library of France Library of Congress/NACO
Domaines concrets Sudoc [ABES], France
Logical environments Sudoc [ABES], France National Library of France Library of Congress/NACO
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 National Library of France Library of Congress/NACO
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 six National Library of the Netherlands 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 History of VIAF ID:81146152 (19)