Login / Signup
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