Termination by Completion.

Françoise Bellegarde Pierre Lescanne

Published in: Appl. Algebra Eng. Commun. Comput. (1990)

Keyphrases

term rewriting
databases
neural network
three dimensional
multiscale
data structure
rewrite systems
knuth bendix
machine learning
information retrieval
xml documents
special case
mobile robot
term rewrite systems