A Closer Look at Termination.

Shmuel Katz Zohar Manna

Published in: Acta Informatica (1975)

Keyphrases

website
active rules
data sets
real world
machine learning
multiscale
cooperative
multi agent systems
expert systems
training set
software engineering
response time
rewrite systems