Author:Ahmed Bhayat
Keyphrasesarithmetic, automated theorem proving, combinator, combinatory, complete, higher-order2, Knuth-Bendix, rewriting, superposition, Superpsoition, term ordering, unification, Unification with Abstraction. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |