Termination of narrowing revisited.

María Alpuente Santiago Escobar José Iborra

Published in: Theor. Comput. Sci. (2009)

Keyphrases

term rewriting
rewrite systems
information systems
multi agent
mobile robot
active rules