Herbrand Constraints in HAL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey. Herbrand Constraints in HAL. In Maurice Bruynooghe, Kung-Kiu Lau, editors, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Volume 3049 of Lecture Notes in Computer Science, pages 499-538, Springer, 2004. [doi]

This author has not been identified. Look up 'Bart Demoen' in GoogleThis author has not been identified. Look up 'Maria J. García de la Banda' in GoogleThis author has not been identified. Look up 'Warwick Harvey' in GoogleThis author has not been identified. Look up 'Kim Marriott' in GoogleThis author has not been identified. Look up 'David Overton' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL