Login / Signup
Reverse Mathematical Bounds for the Termination Theorem.
Silvia Steila
Keita Yokoyama
Published in:
CoRR (2015)
Keyphrases
</>
upper bound
lower bound
worst case
error bounds
upper and lower bounds
neural network
von neumann
tight bounds
mathematical expressions
term rewriting
clustering algorithm
genetic algorithm
image sequences
mathematical theory