Login / Signup
Orienting rewrite rules with the Knuth-Bendix order.
Konstantin Korovin
Andrei Voronkov
Published in:
Inf. Comput. (2003)
Keyphrases
</>
rewrite rules
knuth bendix
database systems
software engineering
multi dimensional
term rewriting