Login / Signup
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties.
Michel Ludwig
Uwe Waldmann
Published in:
LPAR (2007)
Keyphrases
</>
knuth bendix
term rewriting
rewrite systems
database
function symbols