Proving mutual termination.

Dima Elenbogen Shmuel Katz Ofer Strichman

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

term rewrite systems
rewrite rules
term rewriting
rewrite systems
neural network
active rules
database
information retrieval
computer vision
information systems
training data
multi agent systems
expert systems
probabilistic model
probability distribution
object oriented