arXiv 2001-10-17 EN Inference of termination conditions for numerical loops in Prolog Serebrenik, Alexander · De Schreye, Danny
arXiv 2001-06-26 EN Inference of termination conditions for numerical loops Serebrenik, Alexander · De Schreye, Danny
arXiv 2000-11-23 EN Automatic Termination Analysis of Programs Containing Arithmetic Predicates Dershowitz, Nachum · Lindenstrauss, Naomi · Sagiv, Yehoshua · Serebrenik, Alexander
arXiv 2000-11-17 EN Termination analysis of logic programs using acceptability with general term orders Serebrenik, Alexander · De Schreye, Danny
