Alternative Methods in Proving Loop Termination.

Tennyson X. Chen Martin D. Meyer

Published in: SEDE (2008)

Keyphrases

alternative methods
term rewrite systems
rewrite rules
informative features
term rewriting
rewrite systems
real time
bayesian networks
multiscale
databases
artificial intelligence
data analysis
object oriented databases