HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ahmed Bhayat

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

Keyphrases

arithmetic, automated theorem proving, combinator, combinatory, complete, higher-order2, Knuth-Bendix, rewriting, superposition, Superpsoition, term ordering, unification, Unification with Abstraction.

Copyright © 2012-2023 easychair.org. All rights reserved.