Scholar
Ahmed Bhayat
Google Scholar ID: 3h2G_0EAAAAJ
University of Manchester
Logic
Higher-order logic
Automated Reasoning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
252
H-index
9
i10-index
8
Publications
20
Co-authors
6
list available
Co-authors
5 total
Giles Reger
Amazon (formerly University of Manchester, UK)
Michael Rawson
University of Southampton
Laura Kovacs
TU Wien, Vienna, Austria
Konstantin Korovin
The University of Manchester, Depratement of Computer Science
Fedor Shmarov
School of Computing, Newcastle University
