Author:Ahmed Bhayat
Keyphrasesarithmetic, automated theorem proving, combinator, combinatory, complete, higher-order3, Knuth-Bendix, rewriting, Strategy Scheduling, superposition2, Superpsoition, term ordering, unification, Unification with Abstraction, Vampire. |