Differential Methods in Logic Program Analysis

Maria Jose Garcia De La Banda, Kim Marriott, Peter J Stuckey, Harald Sondergaard

    Research output: Contribution to journalArticleResearchpeer-review

    11 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1 - 37
    Number of pages37
    JournalJournal of Logic Programming
    Publication statusPublished - 1998

    Cite this

    @article{daac452cb041421b89c7310cd18a8d3b,
    title = "Differential Methods in Logic Program Analysis",
    author = "{Garcia De La Banda}, {Maria Jose} and Kim Marriott and Stuckey, {Peter J} and Harald Sondergaard",
    year = "1998",
    language = "English",
    pages = "1 -- 37",
    journal = "Journal of Logic Programming",
    issn = "0743-1066",

    }

    Differential Methods in Logic Program Analysis. / Garcia De La Banda, Maria Jose; Marriott, Kim; Stuckey, Peter J; Sondergaard, Harald.

    In: Journal of Logic Programming, 1998, p. 1 - 37.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Differential Methods in Logic Program Analysis

    AU - Garcia De La Banda, Maria Jose

    AU - Marriott, Kim

    AU - Stuckey, Peter J

    AU - Sondergaard, Harald

    PY - 1998

    Y1 - 1998

    M3 - Article

    SP - 1

    EP - 37

    JO - Journal of Logic Programming

    JF - Journal of Logic Programming

    SN - 0743-1066

    ER -