Better Termination Proving through Cooperation.

Marc Brockschmidt Byron Cook Carsten Fuhs

Published in: CAV (2013)

Keyphrases

term rewrite systems
cooperative
multi agent
multi agent systems
term rewriting
active rules
databases
rewrite systems
distributed problem solving
virtual enterprise
information exchange
social interaction
data model
multiscale
high level
knowledge base
rewrite rules
data mining
neural network
real time