Sign in
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations.
Ahmed Bhayat
Giles Reger
Published in:
IJCAR (1) (2020)
Keyphrases
</>
knuth bendix
term rewriting
rewrite systems
function symbols
information systems
knowledge base
probability distribution
theorem prover
theorem proving