VIAF

Virtual International Authority File

Search

Plotkin, Gordon, 1946-.... NUKAT Center of Warsaw University Library National Library of the Netherlands 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 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 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 / ed. by G. Kahn, D. B. MacQueen and G. Plotkin. - Berlin [etc.], 1984. National Library of Poland Library of Congress/NACO
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings 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 6 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)