C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited.
Munehiro Iwami
Published in:
LAPTEC (2005)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
partial order
multi valued
decomposition method
machine learning
artificial intelligence
knowledge representation