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-2023 easychair.org. All rights reserved. |