Automatic Termination Analysis of Programs Containing Arithmetic Predicates

What this record says

For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not

CATALOG · The abstract is indexed.