Login / Signup
Termination by Absence of Infinite Chains of Dependency Pairs.
Thomas Arts
Published in:
CAAP (1996)
Keyphrases
</>
term rewrite systems
pairwise
dependency relations
term rewriting
data sets
neural network
data mining
three dimensional