Completion of term-rewriting systems with multiple reduction orderings.

Hisashi Kondo Masahito Kurihara Azuma Ohuchi

Published in: Systems and Computers in Japan (1996)

Keyphrases

term rewriting systems
logic programs
databases
data structure
object oriented
functional programs