On the Termination of Integer Loops.

Amir M. Ben-Amram Samir Genaim Abu Naser Masud

Published in: VMCAI (2012)

Keyphrases

term rewriting
integer valued
data sets
information systems
floating point
machine learning
decision making
learning algorithm
artificial intelligence
search engine
web pages
multiresolution
rewrite systems