GP

Gordon Plotkin

University of Edinburgh 0000-0001-8496-6096

233

Publications

17,818

Citations

54

h-index

124

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (155)
Book Chapter (51)
Preprint (17)
Book (7)
Dissertation (1)

Filter by Open Access Type

Open Access (108)
Closed Access (124)

Filter by Authors

Gordon Plotkin (232)
Colin Stirling (24)
Mads Tofte (23)
Prakash Panangaden (18)
Martı́n Abadi (18)

Filter by Topics

Logic, programming, and type systems (133)
Logic, Reasoning, and Knowledge (104)
Formal Methods in Verification (63)
Advanced Algebra and Logic (32)
Computability, Logic, AI Algorithms (30)