External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

To the Gates of HAL: A HAL Tutorial

Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey. To the Gates of HAL: A HAL Tutorial. In Zhenjiang Hu, Mario Rodríguez-Artalejo, editors, Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Volume 2441 of Lecture Notes in Computer Science, pages 47-66, Springer, 2002. [doi]

Authors

Maria J. García de la Banda

This author has not been identified. Look up 'Maria J. García de la Banda' in Google

Bart Demoen

This author has not been identified. Look up 'Bart Demoen' in Google

Kim Marriott

This author has not been identified. Look up 'Kim Marriott' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google
runs on