Automated termination proofs for logic programs by term rewriting

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

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Publishers.n.
    Number of pages48
    Publication statusPublished - 2008

    Publication series

    NamearXiv.org [cs.LO]
    Volume0803.0014

    Cite this