Login / Signup
Preserving Confluence for Rewrite Systems with Built-in Operations.
Reinhard Bündgen
Published in:
CTRS (1994)
Keyphrases
</>
rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
databases