Checking modes of HAL programs

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	623 - 667
Number of pages	45
Journal	Theory and Practice of Logic Programming
Volume	5
Issue number	6
DOIs	https://doi.org/10.1017/S1471068404002327
Publication status	Published - 2005

Access to Document

@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",

}

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 -