J G. Brotherston

Sequent calculi for induction and infinite descent

J G. Brotherston, Alex Simpson · Journal of Logic and Computation · 2010 · 125 citations · Full text

Spread of scrapie by contact to goats and sheep

J G. Brotherston, C.C. Renwick, J.T. Stamp et al. · Journal of Comparative Pathology · 1968 · 109 citations

Caprine, Animal Agriculture, Animal Science +3

Further Studies on Scrapie

J.T. Stamp, J G. Brotherston, I. Zlotnik et al. · Journal of Comparative Pathology and Therapeutics · 1959 · 90 citations

Further Studies, Bioprospecting

Cyclic proofs of program termination in separation logic

J G. Brotherston, Richard Bornat, Cristiano Calcagno · 2008 · 72 citations

Program Checking, Engineering, Automated Reasoning +15

Quantitative Studies of Mycobacterium Johnei in the Tissues of Sheep

J G. Brotherston, N.J.L. Gilmour, Jitin Samuel · Journal of Comparative Pathology and Therapeutics · 1961 · 66 citations

Animal Science, Veterinary Science, Pathology +6