An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited.

Published in: LAPTEC (2005)

Keyphrases

term rewriting systems
logic programs
functional programs
partial order
multi valued
decomposition method
machine learning
artificial intelligence
knowledge representation