Proving Non-Termination via Loop Acceleration.

Florian Frohn Jürgen Giesl

Published in: CoRR (2019)

Keyphrases

term rewrite systems
term rewriting
data sets
information retrieval
feature selection
case study
multiscale
search algorithm
pattern recognition
management system
high speed
active rules
rewrite systems
termination analysis