Statistics
Publications
4
Citations
236
H-Index
4
Active since
1981
Affiliations
University of Edinburgh(Current)
Jane Hesketh is an author at University of Edinburgh specializing in formal methods, computer science, and proof assistants.
Publications per year
1981–1998
4
4
Experiments with proof plans for induction
Alan Bundy, Frank van Harmelen, Jane Hesketh et al. · Journal of Automated Reasoning · 1991 · 113 citations · Full text
A rational reconstruction and extension of recursion analysis
Alan Bundy, Frank van Harmelen, Jane Hesketh et al. · Edinburgh Research Explorer · 1989 · 41 citations · Full text
1–4 of 4