Ensuring Termination by Typability.

Yuxin Deng Davide Sangiorgi

Published in: IFIP TCS (2004)

Keyphrases

data mining
case study
term rewriting
artificial intelligence
rewrite systems
neural network
high level
mobile robot
end users
probability distribution