VIAF

Virtual International Authority File

Search

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

Plotkin, Gordon ISNI German National Library National Library of France

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

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

Open Section Close SectionWorks

Title Sources
Automatic methods of inductive inference Sudoc [ABES], France
Computational logic essays in honor of Alan Robinson Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Domaines concrets Sudoc [ABES], France
Logical environments Library of Congress/NACO Sudoc [ABES], France National Library of France
Logical frameworks Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
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 Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings Library of Congress/NACO National Library of Poland Sudoc [ABES], France
Situation theory and its applications. NUKAT Center of Warsaw University Library
A structural approach to operational semantics Sudoc [ABES], France
Transactions on computational systems biology VI Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France

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

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