Proving Non-looping Non-termination Automatically.

Fabian Emmes Tim Enger Jürgen Giesl

Published in: IJCAR (2012)

Keyphrases

automatically generated
case study
multiscale
term rewrite systems
databases
computer vision
feature selection
web pages
e learning
multimedia
data streams
active rules