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