Automated termination analysis for logic programs by term rewriting

P. Schneider-Kamp, J. Giesl, A. Serebrenik, R. Thiemann

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

    18 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Automated termination analysis for logic programs by term rewriting'. Together they form a unique fingerprint.

    Computer Science