Mode Checking in HAL

Maria Jose Garcia De La Banda, Peter J Stuckey, Warwick Harvey, Kim Marriott

    Research output: Contribution to journalArticleResearchpeer-review

    6 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1270 - 1284
    Number of pages15
    JournalLecture Notes in Computer Science
    Publication statusPublished - 2000

    Cite this

    Garcia De La Banda, Maria Jose ; Stuckey, Peter J ; Harvey, Warwick ; Marriott, Kim. / Mode Checking in HAL. In: Lecture Notes in Computer Science. 2000 ; pp. 1270 - 1284.
    @article{4453e0004a7f4b64b6c2d070aa4d0e3f,
    title = "Mode Checking in HAL",
    author = "{Garcia De La Banda}, {Maria Jose} and Stuckey, {Peter J} and Warwick Harvey and Kim Marriott",
    year = "2000",
    language = "English",
    pages = "1270 -- 1284",
    journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    issn = "0302-9743",
    publisher = "Springer-Verlag London Ltd.",

    }

    Mode Checking in HAL. / Garcia De La Banda, Maria Jose; Stuckey, Peter J; Harvey, Warwick; Marriott, Kim.

    In: Lecture Notes in Computer Science, 2000, p. 1270 - 1284.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - Mode Checking in HAL

    AU - Garcia De La Banda, Maria Jose

    AU - Stuckey, Peter J

    AU - Harvey, Warwick

    AU - Marriott, Kim

    PY - 2000

    Y1 - 2000

    M3 - Article

    SP - 1270

    EP - 1284

    JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SN - 0302-9743

    ER -