Automated termination analysis for logic programs with cut

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

    Research output: Contribution to journalArticleAcademicpeer-review

    29 Citations (Scopus)

    Fingerprint

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

    Mathematics

    Engineering & Materials Science