Checking modes of HAL programs

Maria Jose Garcia De La Banda, Warwick Harvey, Kimbal George Marriott, Peter J Stuckey, Bart Demoen

    Research output: Contribution to journalArticleResearchpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)623 - 667
    Number of pages45
    JournalTheory and Practice of Logic Programming
    Volume5
    Issue number6
    DOIs
    Publication statusPublished - 2005

    Cite this

    Garcia De La Banda, Maria Jose ; Harvey, Warwick ; Marriott, Kimbal George ; Stuckey, Peter J ; Demoen, Bart. / Checking modes of HAL programs. In: Theory and Practice of Logic Programming. 2005 ; Vol. 5, No. 6. pp. 623 - 667.
    @article{c9bbcbd1a3ff4f6aa69d183f51291720,
    title = "Checking modes of HAL programs",
    author = "{Garcia De La Banda}, {Maria Jose} and Warwick Harvey and Marriott, {Kimbal George} and Stuckey, {Peter J} and Bart Demoen",
    year = "2005",
    doi = "10.1017/S1471068404002327",
    language = "English",
    volume = "5",
    pages = "623 -- 667",
    journal = "Theory and Practice of Logic Programming",
    issn = "1471-0684",
    publisher = "Cambridge University Press",
    number = "6",

    }

    Checking modes of HAL programs. / Garcia De La Banda, Maria Jose; Harvey, Warwick; Marriott, Kimbal George; Stuckey, Peter J; Demoen, Bart.

    In: Theory and Practice of Logic Programming, Vol. 5, No. 6, 2005, p. 623 - 667.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Checking modes of HAL programs

    AU - Garcia De La Banda, Maria Jose

    AU - Harvey, Warwick

    AU - Marriott, Kimbal George

    AU - Stuckey, Peter J

    AU - Demoen, Bart

    PY - 2005

    Y1 - 2005

    U2 - 10.1017/S1471068404002327

    DO - 10.1017/S1471068404002327

    M3 - Article

    VL - 5

    SP - 623

    EP - 667

    JO - Theory and Practice of Logic Programming

    JF - Theory and Practice of Logic Programming

    SN - 1471-0684

    IS - 6

    ER -