Nominal Completion for Rewrite Systems with Binders.

Maribel Fernández Albert Rubio

Published in: ICALP (2) (2012)

Keyphrases

knuth bendix
rewrite systems
term rewriting
quantifier free
active rules
theorem prover
function symbols
theorem proving
databases
knowledge base
operational semantics