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 6 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 and Regions 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)