36 search results - page 8 / 8 » Local and global order 3 2 convergence of a surrogate evolut... |
SAS
2010
Springer
13 years 3 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...