An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems.

Dohan Kim Christopher Lynch

Published in: FSCD (2021)

Keyphrases

rewrite systems
knuth bendix
term rewriting
quantifier free
active rules
theorem prover
theorem proving
data model
databases
artificial intelligence
data structure