Login / Signup
About the Confluence of Equational Pattern Rewrite Systems.
Alexandre Boudet
Evelyne Contejean
Published in:
CADE (1998)
Keyphrases
</>
rewrite systems
term rewriting
theorem proving
theorem prover
quantifier free
knuth bendix
active rules
inference rules
deductive databases
first order logic
active databases
operational semantics