A Higher-Order Knuth-Bendix Procedure and Its Applications.

Keiichirou Kusakari Yuki Chiba

Published in: IEICE Trans. Inf. Syst. (2007)

Keyphrases

knuth bendix
higher order
term rewriting
rewrite systems
pairwise
function symbols
database
databases
modeling language