Greg Nelson (computer scientist) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Greg Nelson (computer scientist)" in English language version.

refsWebsite

Global rank English rank

9,522^nd place

5,447^th place

3,950^th place

2,397^th place

580^th place

462^nd place

low place

berkeley.edu

Nelson, Greg (1980–1981). Techniques for Program Verification (PDF). Department of Electrical Engineering and Computer Sciences (PhD). University of California Berkeley. Retrieved 2021-04-13.

Montmirail, Valentin; Sutcliffe, Geoff (June 2013). "Herbrand Award: for Distinguished Contributions to Automated Reasoning". Conference on Automated Deduction. Retrieved 2021-04-13.

Perl, Sharon (February 2015). "Greg Nelson: 27 March 1953 – 2 February 2015". Palo Alto Online. Palo Alto, California. Retrieved 2021-04-15.

Perl, Sharon (March 4, 2015). "Greg Nelson". Honolulu Star-Advertiser: Obituaries. Honolulu, Hawaii. Retrieved 2021-04-15.