User-Definable Resource Bounds Analysis for Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. In Verónica Dahl, Ilkka Niemelä, editors, Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Volume 4670 of Lecture Notes in Computer Science, pages 348-363, Springer, 2007. [doi]

This author has not been identified. Look up 'Jorge Navas' in GoogleThis author has not been identified. Look up 'Edison Mera' in GoogleThis author has not been identified. Look up 'Pedro López-García' in GoogleThis author has not been identified. It may be one of the following persons:

Manuel V. Hermenegildo

Look up 'Manuel V. Hermenegildo' in Google

runs on WebDSL