Skip to content

Detecting Optimal Termination Conditions of Logic Programs.

Frdric Mesnard, tienne Payet, Ulrich Neumerkel

VenueBSAS
Year2002
ProceedingsSAS

Browse the full SAS paper archive.