Termination analysis of logic programs (Extended abstract)

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Fingerprint

    Dive into the research topics of 'Termination analysis of logic programs (Extended abstract)'. Together they form a unique fingerprint.