Login / Signup
Existence, Uniqueness, and Construction of Rewrite Systems.
Nachum Dershowitz
Leo Marcus
Andrzej Tarlecki
Published in:
SIAM J. Comput. (1988)
Keyphrases
</>
rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
data quality