Login / Signup
A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules.
Nicolas Peltier
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
rewrite rules
rewriting rules
transformation rules
theorem proving
databases
data mining
inference rules
execution plan