HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ahmed Bhayat

Publications
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

combinator, combinatory, complete, higher-order2, Knuth-Bendix, rewriting, superposition, Superpsoition, term ordering.

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