About Changing the Ordering During Knuth-Bendix Completion.

Andrea Sattler-Klein

Published in: STACS (1994)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
artificial intelligence
information systems
data model