Author:Ahmed Bhayat

Publications
Refining Unification with Abstraction Ahmed Bhayat, Konstantin Korovin, Laura Kovacs and Johannes Schoisswohl In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Higher-Order Vampire (Short Paper) Ahmed Bhayat and Martin Suda EasyChair Preprint 13125
A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint 3192
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint 3191