Ahmed Bhayat
Ahmed Bhayat
E-mail confirmado em postgrad.manchester.ac.uk
Título
Citado por
Citado por
Ano
Restricted combinatory unification
A Bhayat, G Reger
International Conference on Automated Deduction, 74-93, 2019
162019
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
132018
Set of Support for Higher-Order Reasoning.
A Bhayat, G Reger
PAAR@ FLoC, 2-16, 2018
132018
A combinator-based superposition calculus for higher-order logic
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 278-296, 2020
102020
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–10