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
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
6 total
Giles Reger
Amazon (formerly University of Manchester, UK)
Co-author 2
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
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up