Proving Positive Almost-Sure Termination.

Olivier Bournez Florent Garnier

Published in: RTA (2005)

Keyphrases

term rewrite systems
positive and negative
term rewriting
database
machine learning
training data
multiscale
video sequences
digital libraries
rewrite rules
positively correlated
computer usage