Reverse mathematical bounds for the Termination Theorem.

Silvia Steila Keita Yokoyama

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

upper bound
lower bound
upper and lower bounds
average case
lower and upper bounds
termination analysis
tight bounds
knowledge base
worst case
von neumann
rates of convergence
confidence bounds
machine learning
rewrite systems
distribution free
contingency tables
active rules
clustering algorithm