Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Gordon_Plotkin> ?p ?o }
- Gordon_Plotkin abstract "Gordon David Plotkin, FRS, FRSE (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.".
- Gordon_Plotkin almaMater University_of_Edinburgh.
- Gordon_Plotkin almaMater University_of_Glasgow.
- Gordon_Plotkin award European_Association_for_Theoretical_Computer_Science.
- Gordon_Plotkin award Milner_Award.
- Gordon_Plotkin award Royal_Society.
- Gordon_Plotkin award Royal_Society_Wolfson_Research_Merit_Award.
- Gordon_Plotkin award Royal_Society_of_Edinburgh.
- Gordon_Plotkin birthDate "1946-09-09".
- Gordon_Plotkin birthName "Gordon David Plotkin".
- Gordon_Plotkin birthPlace Glasgow.
- Gordon_Plotkin birthYear "1946".
- Gordon_Plotkin doctoralAdvisor Donald_Michie.
- Gordon_Plotkin doctoralAdvisor Rod_Burstall.
- Gordon_Plotkin doctoralStudent Eugenio_Moggi.
- Gordon_Plotkin doctoralStudent Li_Wei_(scientist).
- Gordon_Plotkin doctoralStudent Luca_Cardelli.
- Gordon_Plotkin field Computer_science.
- Gordon_Plotkin field Logic.
- Gordon_Plotkin knownFor Domain_theory.
- Gordon_Plotkin knownFor Operational_semantics.
- Gordon_Plotkin knownFor Programming_Computable_Functions.
- Gordon_Plotkin knownFor Unbounded_nondeterminism.
- Gordon_Plotkin residence Scotland.
- Gordon_Plotkin thumbnail Gordon_Plotkin.jpg?width=300.
- Gordon_Plotkin wikiPageExternalLink OrderDetails.do?uin=uk.bl.ethos.482992.
- Gordon_Plotkin wikiPageExternalLink gdp.
- Gordon_Plotkin wikiPageExternalLink Gordon_Plotkin.html.
- Gordon_Plotkin wikiPageExternalLink plotkin-symposium.
- Gordon_Plotkin wikiPageID "2671720".
- Gordon_Plotkin wikiPageLength "10766".
- Gordon_Plotkin wikiPageOutDegree "64".
- Gordon_Plotkin wikiPageRevisionID "679398639".
- Gordon_Plotkin wikiPageWikiLink Academia_Europaea.
- Gordon_Plotkin wikiPageWikiLink Academia_Europæa.
- Gordon_Plotkin wikiPageWikiLink Category:1946_births.
- Gordon_Plotkin wikiPageWikiLink Category:Academics_of_the_University_of_Edinburgh.
- Gordon_Plotkin wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Gordon_Plotkin wikiPageWikiLink Category:British_Jews.
- Gordon_Plotkin wikiPageWikiLink Category:British_computer_scientists.
- Gordon_Plotkin wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Gordon_Plotkin wikiPageWikiLink Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Gordon_Plotkin wikiPageWikiLink Category:Formal_methods_people.
- Gordon_Plotkin wikiPageWikiLink Category:Jewish_scientists.
- Gordon_Plotkin wikiPageWikiLink Category:Living_people.
- Gordon_Plotkin wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Gordon_Plotkin wikiPageWikiLink Category:Programming_language_researchers.
- Gordon_Plotkin wikiPageWikiLink Category:Royal_Society_Wolfson_Research_Merit_Award_holders.
- Gordon_Plotkin wikiPageWikiLink Computer_science.
- Gordon_Plotkin wikiPageWikiLink Concurrency_(computer_science).
- Gordon_Plotkin wikiPageWikiLink Concurrency_theory.
- Gordon_Plotkin wikiPageWikiLink Denotational_semantics.
- Gordon_Plotkin wikiPageWikiLink Domain_theory.
- Gordon_Plotkin wikiPageWikiLink Donald_Michie.
- Gordon_Plotkin wikiPageWikiLink Eugenio_Moggi.
- Gordon_Plotkin wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Gordon_Plotkin wikiPageWikiLink Evaluation_strategy.
- Gordon_Plotkin wikiPageWikiLink Fellow_of_the_Royal_Society.
- Gordon_Plotkin wikiPageWikiLink Glasgow.
- Gordon_Plotkin wikiPageWikiLink Inductive_logic_programming.
- Gordon_Plotkin wikiPageWikiLink Laboratory_for_Foundations_of_Computer_Science.
- Gordon_Plotkin wikiPageWikiLink Lambda_calculus.
- Gordon_Plotkin wikiPageWikiLink Li_Wei_(scientist).
- Gordon_Plotkin wikiPageWikiLink Logic.
- Gordon_Plotkin wikiPageWikiLink Luca_Cardelli.
- Gordon_Plotkin wikiPageWikiLink Milner_Award.
- Gordon_Plotkin wikiPageWikiLink Operational_semantics.
- Gordon_Plotkin wikiPageWikiLink Power_domains.
- Gordon_Plotkin wikiPageWikiLink Programming_Computable_Functions.
- Gordon_Plotkin wikiPageWikiLink Robin_Milner.
- Gordon_Plotkin wikiPageWikiLink Rod_Burstall.
- Gordon_Plotkin wikiPageWikiLink Royal_Society.
- Gordon_Plotkin wikiPageWikiLink Royal_Society_Milner_Award.
- Gordon_Plotkin wikiPageWikiLink Royal_Society_Wolfson_Research_Merit_Award.
- Gordon_Plotkin wikiPageWikiLink Royal_Society_of_Edinburgh.
- Gordon_Plotkin wikiPageWikiLink Scotland.
- Gordon_Plotkin wikiPageWikiLink Situation_theory.
- Gordon_Plotkin wikiPageWikiLink Type_theory.
- Gordon_Plotkin wikiPageWikiLink Unbounded_nondeterminism.
- Gordon_Plotkin wikiPageWikiLink University_of_Edinburgh.
- Gordon_Plotkin wikiPageWikiLink University_of_Edinburgh_School_of_Informatics.
- Gordon_Plotkin wikiPageWikiLink University_of_Glasgow.
- Gordon_Plotkin wikiPageWikiLinkText "G. D. Plotkin".
- Gordon_Plotkin wikiPageWikiLinkText "Gordon D. Plotkin.".
- Gordon_Plotkin wikiPageWikiLinkText "Gordon David Plotkin".
- Gordon_Plotkin wikiPageWikiLinkText "Gordon Plotkin".
- Gordon_Plotkin wikiPageWikiLinkText "Plotkin's".
- Gordon_Plotkin almaMater University_of_Edinburgh.
- Gordon_Plotkin almaMater University_of_Glasgow.
- Gordon_Plotkin awards European_Association_for_Theoretical_Computer_Science.
- Gordon_Plotkin awards Fellow_of_the_Royal_Society.
- Gordon_Plotkin awards Milner_Award.
- Gordon_Plotkin awards Royal_Society.
- Gordon_Plotkin awards Royal_Society_Wolfson_Research_Merit_Award.
- Gordon_Plotkin awards Royal_Society_of_Edinburgh.
- Gordon_Plotkin awards "*".
- Gordon_Plotkin birthDate "1946-09-09".
- Gordon_Plotkin birthName "Gordon David Plotkin".
- Gordon_Plotkin birthPlace Glasgow.
- Gordon_Plotkin caption "At the MFCS 2005 conference".