Termination of Polynomial Programs.

Aaron R. Bradley Zohar Manna Henny B. Sipma

Published in: VMCAI (2005)

Keyphrases

term rewrite systems
real time
data sets
databases
computer vision
decision making
information technology