Ahmed Bhayat
Ahmed Bhayat
Verified email at postgrad.manchester.ac.uk
Title
Cited by
Cited by
Year
Restricted combinatory unification
A Bhayat, G Reger
International Conference on Automated Deduction, 74-93, 2019
152019
Set of Support for Higher-Order Reasoning.
A Bhayat, G Reger
PAAR@ FLoC, 2-16, 2018
132018
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
132013
A combinator-based superposition calculus for higher-order logic
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 278-296, 2020
92020
Higher-order reasoning vampire style
A Bhayat, G Reger
25th Automated Reasoning Workshop, 19, 2018
32018
A Polymorphic Vampire
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 361-368, 2020
22020
A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report)
A Bhayat, G Reger
EasyChair, 2020
22020
A knuth-bendix-like ordering for orienting combinator equations (technical report)
A Bhayat, G Reger
Technical report, University of Mancester, 2020
22020
A Knuth-Bendix-like ordering for orienting combinator equations
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 259-277, 2020
12020
Reinforced External Guidance for Theorem Provers
M Rawson, A Bhayat, G Reger
The system can't perform the operation now. Try again later.
Articles 1–10