Proving non-termination.

Ashutosh Gupta Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko Ru-Gang Xu

Published in: POPL (2008)

Keyphrases

term rewrite systems
rewrite rules
term rewriting
artificial intelligence
active rules
rewrite systems
website
database systems
reinforcement learning
preprocessing
software engineering
termination analysis