most citedA Non-Termination Criterion for Binary Constraint Logic Programs

1 citations

researchers with a paper here

1 paper

cs.PL2008★ 1 cited

A Non-Termination Criterion for Binary Constraint Logic Programs

Etienne Payet, Fred Mesnard

On the one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analys…