External Links

Cite Key

Statistics

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

PDF

Tags

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.

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. In Andy King, editor, Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Volume 4915 of Lecture Notes in Computer Science, pages 138-153, Springer, 2007. [doi]

Authors

Amadeo Casas

This author has not been identified. Look up 'Amadeo Casas' in Google

Manuel Carro

This author has not been identified. It may be one of the following persons: Look up 'Manuel Carro' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on