Knuth-Bendix procedure and non-deterministic behaviour - An example.

Isabelle Gnaedig

Published in: Bull. EATCS (1987)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
artificial intelligence
xml documents
sat solvers
operational semantics