Inference of termination conditions for numerical loops in Prolog

A. Serebrenik, D. De Schreye

    Research output: Contribution to journalArticleAcademicpeer-review

    7 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)719-751
    JournalTheory and Practice of Logic Programming
    Volume4
    Issue number5-6
    DOIs
    Publication statusPublished - 2004

    Cite this