Statistics
Publications
1
Citations
283
H-Index
1
Active since
1982
Affiliations
University of Manchester(Current)
Laurie Kirby is an author at University of Manchester specializing in automated reasoning, proof complexity, and engineering.
Top concepts
Publications per year
1982–1982
1
1